The IEEE_ARITHMETIC, IEEE_EXCEPTIONS, and IEEE_FEATURES modules are intrinsic, though the types and procedures defined in these modules are not intrinsic.
All functions contained in IEEE modules are pure.
All procedure names are generic and not specific.
The default value for all exception flags is quiet.
By default, exceptions do not cause halting.
Rounding mode defaults towards nearest.