Руководство по Ada (Ada 2022)
G.2 Требования к производительности чисел
Требования к реализации
Реализации должны предоставлять режим, выбираемый пользователем, в котором соблюдаются требования к точности и другим характеристикам числовой производительности, подробно описанные в следующих подразделах. Этот режим, называемый строгим режимом, может или не может быть по умолчанию; он напрямую влияет на результаты предопределённых арифметических операций с вещественными типами и результаты подпрограмм в потомках пакета Numerics, и косвенно влияет на операции в других определённых языком пакетах. Реализации также должны предоставлять противоположный режим, известный как расслабленный режим.
Разрешения реализации
Любой режим может быть режимом по умолчанию.
Два режима могут быть одним и тем же.