Справочник Ada 2012
A.5.4 Атрибуты типов с фиксированной точкой
Статическая семантика
Следующие ориентированные на представление атрибуты определены для каждого подтипа S типа с фиксированной точкой T.
S'Machine_Radix
Возвращает основание аппаратного представления типа T. Значение этого атрибута имеет тип universal_integer.
S'Machine_Rounds
Возвращает значение True, если округление выполняется для неточных результатов каждой предопределенной операции, возвращающей результат типа T; в противном случае возвращает значение False. Значение этого атрибута имеет предопределенный тип Boolean.
S'Machine_Overflows
Возвращает значение True, если переполнение и деление на ноль обнаруживаются и сообщаются путем повышения исключения Constraint_Error для каждой предопределенной операции, возвращающей результат типа T; в противном случае возвращает значение False. Значение этого атрибута имеет предопределенный тип Boolean.
