Floor function (source code)

= Floor function
{title2=$\lfloor x\rfloor$}

The floor $\lfloor x\rfloor$ is the greatest <integer> not exceeding the real number $x$.