StreamTokenizer is truncating "long" inputs, since it is converting double to integer, so dumping it for good.
binary search for the bigger numbers.
minor things.