Справочник по Ada 2012
F.1 Определение атрибута Machine_Radix
Статическая семантика
Атрибут Machine_Radix может быть указан для десятичного первого подтипа (см. 3.5.9) посредством определения_атрибута; выражение такого определения должно быть статическим, а его значение должно быть 2 или 10. Значение 2 подразумевает бинарный диапазон базы; значение 10 подразумевает десятичный диапазон базы.
Рекомендации по реализации
Упакованное десятичное представление должно использоваться в качестве внутреннего представления для объектов подтипа S, когда S'Machine_Radix = 10.
Примеры
Пример определения атрибута Machine_Radix:
type Money is delta 0.01 digits 15;
for Money'Machine_Radix use 10;
for Money'Machine_Radix use 10;
