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