ISO/IEC TR 18037（定点算术）：没有带符号零？

Question

在 ISO/IEC TR 18037:2006(E)< /a> 我没有看到是否有一个带符号的零。

考虑这段代码：

int main(void)
{
    _Sat short _Fract x, y;
    x = 0.0078125HR;   // SFRACT_EPSILON
    y = x * x;         // 0.0HR
    y = -x * x;        // -0.0078125HR
}

问题：

1. 如果有人知道：为什么没有带符号的零？
2. 如果-x * x是-SFRACT_EPSILON，那么为什么x * x是0.0HR而不是SFRACT_EPSILON？