[quietbritishjim]

I think that's the parent comment's point. Floats are not totally ordered but C++'s type system is weak enough that it appears they are.