浮動小数点を実装するに当たって符号ビットをもうけなければならないという制限ってあるのかな。
ないなら別にそういう処理系があってもいいんだろうし、そういうふうに
書いてあったとしてもおかしくはないだろうね。
普通は符号ビットあるとおもうんだけどさ。