{-# htermination approxRational :: Float -> Float -> Rational #-}