4 ms·

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 hol

by grogers 11mo ago

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 11mo ago
That’s not real math though, that’s a quirk of floating point math.
- mjmas 11mo ago
  But NaN is also a quirk of IEEE754 floating pount math.