div0

[procedure] div0 x1 x2

R6RS:

 x1 div0 x2 = nd
 x1 mod0 x2 = xm
   where
     x1 = nd * x2 + xm
     -|x2/2| <= xm < |x2/2|

See also div0-and-mod0, mod0, div, mod.