原です。

>けいじゅ@日本ラショナルソフトウェアです.

なるほど。

>Numeric
>   Float
>   Integer

これを

>   Real
>     Integer

と考えて Real == Float と思っちゃうとそういう事になるわけだ。

というわけで Paul に対する反論としては、Float はかなり便宜的
なものであって Real と考えるべきでないということを、いろんな
例示をあげて示せばいいのかもしれないですね。

Real == Float と思う人はかなり多いですね。必ずしも間違いと
は言えないけど。