{-# htermination ceiling :: RealFrac a => a -> Int #-}