Согласно одной предполагаемой копии стандарта IEEE 754 (1985) ,
Когда сумма двух операндов с противоположными знаками (или разница
два операнда с одинаковыми знаками) ровно ноль, знак этой суммы
(или разница) должен быть + во всех режимах округления, кроме округления в сторону
–INFINITY, в каком режиме этот знак должен быть -. Тем не менее, х + х = х - (- х)
сохраняет тот же знак, что и x, даже если x равен нулю.
(раздел 6.3)
Это относится к случаю (+0) + (-0), требующему, чтобы результат был +0 в большинстве режимов округления, но -0 в цикле к режиму -INFINITY.