doubleでオーバーフローって、10の何乗を想定してる?