だがちょっと待って欲しい 今日のIEEE754社会においては負の0にも配慮すべきではないだろうか

それ意味と表現を混同してね？

Nビットの表現で、符号ビットが1それ以外が0である 10...0 (= -2^(N - 1)) は -0 なのかな？ 補数取ってももとに戻るし(00...0と同じ性質)