 Floor function

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