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