緩募: 代数的実数A,Bの間に含まれる最も単純な有理数を求めるアルゴリズム。ただし、A,Bを上下から任意精度で近似する有理数は計算可能とする。また、単純さの基準はapproxRationalに準じる。 http://hackage.haskell.org/package/base-4.6.0.1/docs/Data-Ratio.html