{-# htermination realToFrac :: Int -> Ratio Int #-}