少し専門的な補足です。 プチコンの数値は「倍精度浮動小数」という形式で、プラス方向の限界は「POW(2,1024)未満」です。POW(2,1024)の時点で無限大になり、そのあと足したり引いたりしても無限大のままです。 0をかけるとnanという数値じゃないものになります。 (というのをこの前おちゃめさんが出した問題を解いていて覚えました)