{-# htermination toRational :: Int -> Rational #-}