Я просто потратил свою неделю на общение с предметом и не нашел языка, который бы правильно использовал спецификацию IEEE 754.
Даже GCC не уважает соответствующую часть C99 (она игнорирует прагму FENV_ACCESS, и мне сказали, что мои рабочие примеры были просто удачей).
Невозможно (AFAIK) уважать спецификацию с библиотечными функциями, вам нужна поддержка от языка, потому что некоторые общие оптимизации запрещены, когда вы играете с флагами или округлением.
Итак, вот мой реальный вопрос: есть ли там языки (appart from C/С++ или raw assembly), которые дают мне доступ к режимам округления, флагом исключений и исчислению?