へ〜たのめも

404 Blog Not Found:pugs - 仔犬の無限

うみゅ? 確かに ghci では 1/0 == 2^1024 だぞ? どうも IEEE 754 では指数部分の 8bit が 255 というのを ±∞ や NaN を表わすために特別扱いしているようで、これが整数表現とごっちゃになると、こんなことになるみたい。

本当かなぁ...あとで考える。