It depends on the desired semantics of your computation. Interval arithmetic was invented to facilitate establishing bounds on the error in a computation. The IEEE Floating Point rounding modes were invented in part to facilitate interval arithmetic. In some computations, -0.0 might be used to represent the interval (-π .. 0.0] in contrast to +0.0 representing the interval [0.0 .. +π) for minimally-representable π.
1 Like