When replacing a floating-point comparison with an integer