From: Tadayoshi Funaba <tadf@...>
Date: 2009-06-17T00:37:29+09:00
Subject: [ruby-dev:38662] Re: Fixnum#fdiv

> 繰り返しになりますが、「より正確な除算」とかだと独立した実装
> を作った場合検証できませんが、Float(Rational(x,y)) と(計算過
> 程は別として)同じ結果を返す、なら検証可能です。私が求めてい

誤解のないように確認しますが、あくまで概念的な話です。
Rational(Inf,Inf) とか不可能ですから。

x、y が整数の場合は同様になると思います。どうしてかというと、
Rational#to_f は、numerator.fdiv.denominator になるからです。

もともと、Rational#to_f は原さんが書いてくれたものをほとんどそのままつ
かっていて、独立して fdiv がやっているようなことをしていたのですが、う
まく機能しない場合を発見して、それで fdiv でいいじゃないか、というとこ
ろから始まっていたのです。

Complex#fdiv はこのままなんですかね。