Ada Programming/Attributes/'Model Epsilon

Description
Absolute difference between the model number 1.0 and the next model number above for subtype.

Yields the value T 'Machine_Radix1 – T 'Model_Mantissa. The value of this attribute is of the type universal_real.