Справочник по Ada 2005
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 в противном случае.
ПРИМЕЧАНИЯ
36 Предопределённые операции для типа с плавающей точкой включают операцию присваивания, квалификацию, проверки на принадлежность и явное преобразование к другим числовым типам и обратно. Они также включают реляционные операторы и следующие предопределённые арифметические операторы: бинарные и унарные операторы сложения – и +, некоторые операторы умножения, унарный оператор abs и оператор возведения в степень.
37 Как и для всех типов, объекты типа с плавающей точкой имеют свойства Size и Address (см. 13.3). Другие свойства типов с плавающей точкой определены в A.5.3.
