It turns out a lot (2**52). Anything where the 12 exponent bits
are all 1, independent of the values of the other 52 bits).
$ python main.py
binary(1.0) = 0011111111110000000000000000000000000000000000000000000000000000
binary(2.0) = 0100000000000000000000000000000000000000000000000000000000000000
binary(-1.0) = 1011111111110000000000000000000000000000000000000000000000000000