Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Implements a large number of useful numeric types that were, for various reasons, not included in Standard. I agree with the exclusion, and this package seeks to supplement the Standard numerics. Some key features:

• Natural, Positive, Negative, Even, and Odd subtypes for the standard Integer of all sizes. Even and Odd are achieved with Dynamic Predicates, and require Ada 2012.
• Modulus and Remainder operators for fractional types.

Only arithmetic and properties are implemented here. Further math support belongs in Mathematics.