Справочник по Аде (Ada 2022)
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.
