Справочник Ada 2005
F.1 Определение атрибута Machine_Radix
Статическая семантика
Для десятичного первого подтипа (см. 3.5.9) можно указать Machine_Radix с помощью определения атрибута; выражение такого определения должно быть статическим, а его значение должно быть 2 или 10. Значение 2 подразумевает диапазон двоичного основания; значение 10 подразумевает диапазон десятичного основания.
Рекомендации по реализации
Для внутреннего представления объектов подтипа S, когда S'Machine_Radix = 10, следует использовать упакованное десятичное представление.
Примеры
Пример определения атрибута Machine_Radix:
тип Money есть дельта 0.01 цифры 15;
для Money'Machine_Radix использовать 10;
для Money'Machine_Radix использовать 10;
