[grogers]

Doesn't "1 + x == 2 + x" evaluate to true for any x with large enough magnitude? In general we should expect identities that hold true in "real" math to not hold in FP

[diatone]

That’s not real math though, that’s a quirk of floating point math.

[mjmas]

But NaN is also a quirk of IEEE754 floating pount math.