Package integers

Library integers

This library exposes the following toplevel modules:

• Signed Types and operations for signed integers.
• Unsigned Types and operations for unsigned integers.