Ada Programming/Attributes/'Machine Mantissa

Description

X'Machine_Mantissa is an Ada attribute where X is any floating point type.

Floating point types are represented as:

$sign\times mantissa\times radi{x}^{exponent}$

where

sign is 1 or -1

mantissa is a fraction in base radix

radix is the hardware radix (usually 2)

exponent is an integer

'Machine_Mantissa returns the maximum number of digits in the mantissa.

Example

Template:Ada/keyword Template:Ada/packageTemplate:Ada/delimiter

Template:Ada/keyword Machine_Mantissa Template:Ada/keyword

   Template:Ada/keyword T_IO Template:Ada/keyword AdaTemplate:Ada/delimiterText_IOTemplate:Ada/delimiter
   Template:Ada/keyword I_IO Template:Ada/keyword Template:Ada/keyword  AdaTemplate:Ada/delimiterText_IOTemplate:Ada/delimiterInteger_IO Template:Ada/delimiterIntegerTemplate:Ada/delimiterTemplate:Ada/delimiter
Template:Ada/keyword
   T_IOTemplate:Ada/delimiterPut Template:Ada/delimiter"Mantissa of Float type       = "Template:Ada/delimiterTemplate:Ada/delimiter
   I_IOTemplate:Ada/delimiterPut Template:Ada/delimiterFloatTemplate:Ada/delimiterTemplate:Ada/attributeTemplate:Ada/delimiterTemplate:Ada/delimiter
   T_IOTemplate:Ada/delimiterNew_LineTemplate:Ada/delimiter
   
   T_IOTemplate:Ada/delimiterPut Template:Ada/delimiter"Mantissa of Long_Float type  = "Template:Ada/delimiterTemplate:Ada/delimiter
   I_IOTemplate:Ada/delimiterPut Template:Ada/delimiterLong_FloatTemplate:Ada/delimiterTemplate:Ada/attributeTemplate:Ada/delimiterTemplate:Ada/delimiter
   T_IOTemplate:Ada/delimiterNew_LineTemplate:Ada/delimiter

Template:Ada/keyword Machine_MantissaTemplate:Ada/delimiter

The output with GNAT 4.6 on the x86-64 architecture is:

Mantissa of Float type       =          24
Mantissa of Long_Float type  =          53

See also

Wikibook

• Ada Programming
• Ada Programming/Attributes
• Ada Programming/Attributes/'Machine_Emax
• Ada Programming/Attributes/'Machine_Emin
• Ada Programming/Attributes/'Machine_Radix

Ada Reference Manual

• Template:Ada/RM2
• Template:Ada/RMA1

[[Template:BOOKCATEGORY|Address]] [[Template:BOOKCATEGORY/Representation attributes|Address]]