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