To be honest, I don't know what that claim means, but know that `(1 / 3) * 3` is exactly 1 under plain-old IEEE floats. The "fun" is with, e.g. `0.1 + 0.2`. I

To be honest, I don't know what that claim means, but know that `(1 / 3) * 3` is exactly 1 under plain-old IEEE floats. The "fun" is with, e.g. `0.1 + 0.2`. I just tried on the website 0.1 + 0.2 - 0.3 2.775557562E¯17 which agrees: julia> 0.1 + (0.2 - 0.3) 2.7755575615628914e-17