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