{-# htermination fromEnum :: (Ratio Int) -> Int #-}