Key point that takes some time to sink in: there are only 2^32 32 bit floats in total. Meaning that you can easily enumerate them all.