Positive floating numbers can indeed be compared by their binary representation. The fact that incrementing the number by one gives you the next floating point

Positive floating numbers can indeed be compared by their binary representation. The fact that incrementing the number by one gives you the next floating point number is a trivial corollary.