4 ms·

IEEE does guarantee the correctness of a+b in the sense that it will return the floating-point number that is closest to the real number that would've been comp

by nayuki 3y ago

IEEE does guarantee the correctness of a+b in the sense that it will return the floating-point number that is closest to the real number that would've been computed with infinite precision. There's no randomness or fuzziness in floating-point rounding.

BeetleB 3y ago
> IEEE does guarantee the correctness of a+b in the sense that it will return the floating-point number that is closest to the real number that would've been computed with infinite precision. Until you deal with overflow. And to be frank, this is just redefining "correctness". If you want to view FPs as real numbers (which they are), there's nothing wrong with pointing out that real number operations will give you incorrect results (even ignoring overflow). > There's no randomness or fuzziness in floating-point rounding. I did not imply there was.