Interval
Arithmetic Specification (This specification was developed from the
original "Proposal for standardized interval arithmetic in Fortran." It
has been used for the interval arithmetic in the GNU interval-enhanced
f77 compiler and in Sun Microsystem's compilers.)