900 million numbers? How big is the .txt file in size?