>>107
> b = x / y;
> c = b * y;
> という式があったとき、とんでもない誤差を減らすために自動的にyを消去し、
> c = x と代入してくれるフレームワークが欲しい。

x と y がどっちも 0.0 だったら、ｃ はどうあってほしい？
>>91
でも読んで考えてみてくれ。
y が無限大だった場合もワケワカメなことになりそうだ。