回答編集履歴

- IEEE754 の定義として、交換形式に常に符号ビットが存在するために、仕様上 +Nan と -NaN が存在するということかと思います。