{-# htermination ceiling :: Float -> Int #-}