IEEE 754：下溢：是否需要引发不精确的标志？

Question

IEEE 754-2008, 7.5 下溢：

应发出下溢异常信号...

... 应引发下溢标志，并应发出不精确（见 7.6）异常的信号。

我们在这里看到：

• 需要引发下溢标志并且需要发出下溢异常信号
• 需要发出不准确的标志

简单的问题：是否需要升起不精确的标志？

问题的原因：据我了解：标记已引发！= 异常已发出。对吗？

Answer 1

是的。

7.6 不精确（强调）：

默认情况下处理所有这些异常时，inexact 标志总是会在引发上溢或 下溢标志时引发。