intervals

Interval Arithmetic.

A Numeric.Interval.Interval is a closed, convex set of floating point values.

We do not control the rounding mode of the end points of the interval when using floating point arithmetic, so be aware that in order to get precise containment of the result, you will need to use an underlying type with both lower and upper bounds like CReal