哪种语言能让IEEE 754正确？

我只是花了一周的时间来讨论这个主题,并没有发现任何符合IEEE 754规范的语言.

即使GCC也不尊重相关的C99部分(它忽略了FENV_ACCESS的编译指示,而且我被告知比我的工作示例纯粹是运气).

使用库函数尊重规范是不可能的(AFAIK),您需要语言支持,因为当您使用标志或舍入时,禁止一些常见的优化.

所以这是我真正的问题:那里有语言(来自C/C++或原始程序集的appart)可以访问舍入模式,异常标志和微积分吗？