Ada Programming/Attributes/'Machine Rounds

Description
True if rounding is performed on inexact results of the fixed or floating point.

Yields the value True if rounding is performed on inexact results of every predefined operation that yields a result of the type T; yields the value False otherwise.

The value of this attribute is of the predefined type Boolean.