IEEE 754における負のゼロ
x − x = x + ( − x ) = + 0 {\displaystyle x-x=x+(-x)=+0\,\!} (任意の有限の x {\displaystyle x} について、負方向への丸めの場合は −0)
負のゼロが存在するため、浮動小数点数の変数 x、y、z を使った式 z = -(x - y) や z = (-x) - (-y) を z = y - x と最適化することはできない。
他に次のような特別規則がある。
− 0 = − 0 {\displaystyle {\sqrt {-0}}=-0\,\!}
− 0 − ∞ = + 0 {\displaystyle {\frac {-0}{-\infty }}=+0\,\!} (除算の符号規則に従う)
| x | − 0 = − ∞ {\displaystyle {\frac {\left|x\right|}{-0}}=-\infty \,\!} ( x {\displaystyle x} がゼロでない場合、除算の符号規則に従う)
± 0 × ± ∞ = NaN {\displaystyle {\pm 0}\times {\pm \infty }={\mbox{NaN}}\,\!} (NaNまたは割り込み発生)
± 0 ± 0 = NaN {\displaystyle {\frac {\pm 0}{\pm 0}}={\mbox{NaN}}\,\!}