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 operations:

Creating intervals

Interval arithmetic

Set-theoretic operations on intervals

Comparing intervals

Properties of interval arithmetic

The class of intervals:

interval

interval? ( object -- ? )

Interval operations:

Creating intervals

Interval arithmetic

Set-theoretic operations on intervals

Comparing intervals