そういえば某所に0.0は必ず全ビット0になると言っていたやつがいたな。似たようなものか。