Provides for infinite-precision integers and fractions.

• NUMBER is the interface to such numbers
• NUMBER_TOOLS is a factory which creates NUMBERs.