随笔二十一：浮点运算

        实数上的加法也形成了阿尔贝群，但是必须考虑舍入对这些属性的影响。加法运算是可交换的，另一方面，这个运算是不可结合的。浮点加法布局结合性，这是缺少的最重要的群属性。另一方面，浮点加法满足了单调性属性：如果 a >= b，那么对于任何 a、b 以及 x 的值，除了 NaN，都有 x + a >= x + b。无符号或补码加法不具备这个实数（和整数）加法的属性。

        浮点乘法也遵循通常乘法所具有的许多属性。它是可交换的，但不具有可结合性。浮点乘法满足下列单调性：

        a >= b 且 c >= 0 推出 a * (f)c >= b * (f)c

        a >= b 且 c <= 0 退出 a * (f)c <= b * (f)c

        此外，只要 a != NaN，就有 a * (f)a >= 0。五符号或补码的乘法没有这些单调性属性。