pub fn floor(z: Cx) -> Cx
McDonnell’s complex floor: the Gaussian integer at or below y, chosen so that the residue keeps a magnitude below one. Published in the J dictionary’s account of <.; both references answer with it.
<.