Algorithm 763: INTERVAL_ARITHMETIC: A Fortran 90 module for an interval data type - Kearfott, R. Baker (ACM Trans. Math. Software, 1996)