The guy you replied to was talking about base 10 floats. As you can very easily see his example has to work if the arithmetic has the "best possible" property and the rounding mode is "to nearest".
Pythons is unusable for numerics without numpy, which makes it a tiny bit less unusable.
