[saagarjha]

But only when imposing a total ordering.

[foxhill]

that’s not the case, in IEE754 floating point, zero is signed - i.e negative and positive zero are distinct values

[saagarjha]

But the standard comparison operators don’t distinguish them.