{-# htermination fromRational :: Fractional a => Rational -> a #-}