Artifact a66803decca378af317c93ff16b59d4ff92fbfe2:
D 2017-03-23T17:22:28.088 L Numerics P e2113c65d5885c2ba55f07f6f99ecce4992c253c U Entomy W 578 <p>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:</p> <ul> <li>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.</li> <li>Modulus and Remainder operators for fractional types.</li> </ul> <p>Only arithmetic and properties are implemented here. Further math support belongs in Mathematics.</p> Z 35ae76b45c1471c77b68bf1364b634a8