GNU c 1.06.95 で計算した。
2^1024
179769313486231590772930519078902473361797697894230657273430081157732675805500963132708477322407536021120113879871393357658789768814416622492847430639474124377767893424865485276302219601246094119453082952085005768838150682342462881473913110540827237163350510684586298239947245938479716304835356329624224137216
プチコンの「実数型」は、プチコンを作った言語処理系の浮動小数点演算をそのまま使っているのでしょう。一説には C++ で書いた(?)らしいけど、まあ順当に
「IEEE 754 形式の倍精度浮動小数点数」
という形式ですね。世の中のほとんどの処理系が採用しています。
この方法では 2^1024 を表すことはできません(inf になってしまう)。
表現可能な最大の数は
2^1023-2^(1023-52)+2^1023
になります。プチコンでも計算できますよ。
あと訂正
私> GNU c 1.06.95 で計算した。
GNU bc 1.06.95 で計算した。
の誤りでした。