Floor r←⌊y

r is the result of the scalar application of the floor function, y \left\lfloor y \right\rfloor .

The complex floor is defined by McDonnell as such: