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