フリーズするのは C 言語だけってわけじゃないけど、
プチコンというのは basic という言語で、これは元来フリーズしちゃいけない代物です。
ところがプチコン自体かなりバグバグなので、頻繁におかしなことが起きます。でプチコン自体は C++ で書かれている(らしい)ので、まあ運が悪ければフリーズしちゃうというわけです。
プチコンの「実数型」は、プチコンを作った言語処理系の浮動小数点演算をそのまま使っているのでしょう。一説には C++ で書いた(?)らしいけど、まあ順当に
「IEEE 754 形式の倍精度浮動小数点数」
という形式ですね。世の中のほとんどの処理系が採用しています。
この方法では 2^1024 を表すことはできません(inf になってしまう)。
表現可能な最大の数は
2^1023-2^(1023-52)+2^1023
になります。プチコンでも計算できますよ。
あと訂正
私> GNU c 1.06.95 で計算した。
GNU bc 1.06.95 で計算した。
の誤りでした。