> I'm pretty sure that your definition of an interval is correct even when the set doesn't have a total order Yes, and in the usual ordering on floats that's a

> I'm pretty sure that your definition of an interval is correct even when the set doesn't have a total order Yes, and in the usual ordering on floats that's actually implemented by hardware, 0.0f == -0.0f, so -0.0f is in [-0.0f, 0.0f]. > since floating point numbers usually represent one number in a range of real values, and -0.0f represents -epsilon where epsilon is between 0 and the real value of the smallest denorm. That's a valid interpretation but apparently the standard ordering wasn't specified from that perspective.