Instances of the numerical classes for a variety of different numbers:
(computable) real numbers, arbitrary precision fixed numbers, arbitrary
precision floating point numbers, differentiable numbers, symbolic numbers,
natural numbers, interval arithmetic.