double の有効桁数がどうしてもあと１ビット必要だったとか...。