> I think the real problem is that IEEE 754 floating point almost always gets treated as black box that magically provides the behavior of real numbers, which i

> I think the real problem is that IEEE 754 floating point almost always gets treated as black box that magically provides the behavior of real numbers, which is impossible. That's true for integers, too, though the edge cases are fewer, lots of problems happen around catastrophic surface areas like overflow.