Fix float_equal warning