Description:

• ceil is defined as usual: ceil(x) is the smallest integer y such that y >= x.
• It is defined for every real number x.