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