Re:C++14: floats, bits, and constant expressions
by Guvante on Monday March 28, 2016 @02:06PM
(#11376072)
> I would say that 1.0/-0.0 is mathematically defined in the pure sense
`1.0 / -0.0` isn't mathematically defined though, it is certainly undefined. IEEE-754 takes that and performs "limit of `1/x` as `x` approaches zero from the left".
> IEEE-754 defines a specific model of real numbers closed under such operations [-inf,inf]\union{NaN}.
No, IEEE-754 defines a way to handle the exception by convention.
`1.0 / -0.0` isn't mathematically defined though, it is certainly undefined. IEEE-754 takes that and performs "limit of `1/x` as `x` approaches zero from the left".
> IEEE-754 defines a specific model of real numbers closed under such operations [-inf,inf]\union{NaN}.
No, IEEE-754 defines a way to handle the exception by convention.