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