IEEE 浮点算术标准部分“ 9.2 推荐的正确舍入函数”列出了语言标准推荐（但不是必需）提供的函数，其中一个exp2函数作为特定示例。

如果一种语言提供exp2，标准是否要求它正确四舍五入？

作为一个特定的例子，我exp2从openlibm库中获取了这个函数，发现它在 99.96% 的情况下被正确舍入。然而，在其余的案例中（例如，100,000 个案例中的 37 个案例），它产生的答案相差 1 ulp。它显然非常准确，但在这 37 个案例中仍然没有正确四舍五入。这是否意味着其中的exp2功能openlibm不符合 IEEE-754 标准？