From: Yukihiro Matsumoto <matz@...>
Date: 2009-06-17T23:29:03+09:00
Subject: [ruby-dev:38675] Re: Fixnum#fdiv

まつもと ゆきひろです

In message "Re: [ruby-dev:38671] Re: Fixnum#fdiv"
    on Wed, 17 Jun 2009 23:04:39 +0900, Tadayoshi Funaba <tadf@dotrb.org> writes:

|> それでも、無限を有限で割ったら無限になるのではないですか。

|それは解ってるんですが、Rational やその他未知のクラスでもそれが通用する
|ような仕組がないので。fdiv についてはとりあえず既知のものについてベタに
|対処していくこともできると思いますが、それでいいでしょうか。

それは当然でしょう。原則は

  「無限 fdiv 有限」は無限
  「無限 fdiv 無限」はNaN

ということにして、それを適用していくしかないと。あるいは統一
的に扱うためにはNumeric#infinite?を用意して、それで判断するか。

|Inf <=> X
|はどう考えるのか、あまりうまい考えが浮びません。
|いい考えがあったら教えてください。

無限と有限を比較したら、いつも無限が大きいと見なすものなので
はないでしょうか。NaNの場合にはnilですね。