Справочник по Ada 2012
3.5.8 Операции с плавающей точкой
Статическая семантика
Для каждого подтипа плавающей точки S определено следующее свойство:
S'Digits
S'Digits обозначает требуемую десятичную точность подтипа S. Значение этого свойства имеет тип universal_integer. Требуемая десятичная точность базового подтипа типа плавающей точки T определяется как наибольшее значение d, для которого
ceiling(d * log(10) / log(T'Machine_Radix)) + g <= T'Model_Mantissa
где g равно 0, если Machine_Radix является положительной степенью 10, и 1 в противном случае.
ceiling(d * log(10) / log(T'Machine_Radix)) + g <= T'Model_Mantissa
где g равно 0, если Machine_Radix является положительной степенью 10, и 1 в противном случае.
ПРИМЕЧАНИЯ
42 Предопределённые операции типа с плавающей точкой включают операцию присваивания, квалификацию, проверки на принадлежность и явное преобразование в и из других числовых типов. Они также включают реляционные операторы и следующие предопределённые арифметические операторы: бинарные и унарные операторы сложения – и +, некоторые операторы умножения, унарный оператор abs и оператор возведения в степень.
43 Как и для всех типов, объекты типа с плавающей точкой имеют свойства Size и Address (см. 13.3). Другие свойства типов с плавающей точкой определены в A.5.3.
