えぐち@エスアンドイー です。

>>> On Tue, 9 Feb 1999 21:51:00 +0900, keiju / rational.com (石塚圭樹 ) said:

keiju> けいじゅ@日本ラショナルソフトウェアです.
keiju> 
keiju> 今週は夜にしかアクセスできない(;_; どんどん話しが進んでいますね...

なんか加速ついていませんか? ;-)

...
keiju> 何か方向性があるんですね.
keiju> 
keiju>   Integer <-> Float <-> Rational <- Complex <- Matrix
keiju>   |---- 精度を持つクラス ------|
keiju> 
keiju> 精度を持つクラスといわれている部分はお互いに変換可能ですが, そうでない
keiju> クラスは, その構成要素となりうるものが何であるかによって変わわってくる
keiju> と. 
keiju> 
keiju> coerceと同じく, precとinduced_fromでそのタイプが変換して良いか悪いか判
keiju> 断するようにしたらいががでしょう?

精度を持つと言われるグループのクラスに

 + 取り得る値の最大値(2を底とした指数)
 + 取り得る値のゼロへの最近値(2を底とした指数)

をクラス定数として持たせ
型変換の必要になった時に

	現在の値

を受容し得る方の型に変換すると言うのは
如何でしょうか?

この変換は Number#coerce がやると言う寸法です。

	えぐち