⌊ 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: