IntegerPreImage.php Classes IntegerPreImageA float literal compares exactly up to 2^53: a fraction lies between two integers and equals neither.