D 2016-10-27T06:49:55.801
L Numerics
U Entomy
W 642
<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>Consistent size Integer, Modular, Fixed-Point, Decimal, and Floating-Point types; useful for heterogeneous computing.</li>
</ul>
<p>Only arithmetic and properties are implemented here. Further math support belongs in Mathematics.</p>
Z 0258d60d2c1c03790eeb08c66a62172c