Function that maps a real number x to the smallest integer greater than or equal to x.