{-# htermination approxRational :: (Ratio Int) -> (Ratio Int) -> Rational #-}