Next: Max_Interrupt_Priority, Previous: Machine_Size, Up: Implementation Defined Attributes
The Mantissa attribute is provided for compatibility with Ada 83. See
the Ada 83 reference manual for an exact description of the semantics of
this attribute.