Reliable Representation of Integers in Floats