Returns the largest (closest to positive infinity) integer number that is not greater than the argument.
See also the XPath specification.