Comment by jimhefferon

This post is not about real numbers, though. It's about floating point numbers.