> 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 t

> 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.