This package provides the low-level implementation of the standard
'BigNat', 'Natural' and 'Integer' types.