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