Returns the largest integer smaller than or equal to x.