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