Red book operator divides by , producing a result that is always a R if operands are I or R. If both operands are Q, the result is a Q. Use idiv instead if the operands are I or Q and an I or Q result is desired.
Core code registered in systemdict.
Analogous LeoScript Operator idiv