Interval arithmetic is performed on ranges of real numbers, rather than exact values. It is used by the Factor compiler to convert arbitrary-precision arithmetic to machine arithmetic, by inferring bounds for integer calculations.
Properties of interval arithmetic

The class of intervals:

interval

interval? ( object -- ? )

Interval operations:
Creating intervals
Interval arithmetic
Set-theoretic operations on intervals
Comparing intervals