m+
d1 n -- d2 double "m-plus"
*/
n1 n2 n3 -- n4 core "star-slash"
*/mod
n1 n2 n3 -- n4 n5 core "star-slash-mod"
m*
n1 n2 -- d core "m-star"
um*
u1 u2 -- ud core "u-m-star"
m*/
d1 n2 u3 -- dqout double "m-star-slash"
um/mod
ud u1 -- u2 u3 core "u-m-slash-mod"
fm/mod
d1 n1 -- n2 n3 core "f-m-slash-mod"
floored division: d1 = n3*n1+n2, n1>n2>=0 or 0>=n2>n1
sm/rem
d1 n1 -- n2 n3 core "s-m-slash-rem"
symmetric division: d1 = n3*n1+n2, sign(n2)=sign(d1) or 0