There are Only Four Billion Floats–So Test Them All! https://randomascii.wordpress.com/2014/01/27/theres-only-four-billion-floatsso-test-them-all/ (exhaustive testing can prove absence of bugs!)