From: Dmitry A. Kazakov on
The software provides an implementation of integer, float and dimensioned
intervals.

http://www.dmitry-kazakov.de/ada/intervals.htm

In this version rounding behavior was changed in the case when a boundary
is exact zero. It is left as is, even if the machine rounds. Because
rounding cannot change the sign.

--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de