Ada Programming/Attributes/'Machine Rounds
Description
editTrue 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.
Example
editS’Machine_Rounds return Boolean