Working with numbers.

This module provides types generic for working over numbers, such as errors when a number cannot be parsed.