Ø Definition von DIV und MOD
· (x,y) ® (q,r)     mit  x,y,q,r Î N (oder Z)
       wobei   x DIV y ® q   („Quotient“)
         x MOD y ® r   („Rest“)
· x DIV y = floor(x/y) =: q
       wobei   q > 0, if sgn(x)=sgn(y)
         q = 0, if abs(x)<abs(y)
         q < 0, if sgn(x)¹sgn(y)
· x MOD y =: r
       wobei   r = x - (x DIV y)·y,  if  r ³ 0
         r = x - (x DIV y)·y + y,  if  r < 0
· „DIV-MOD“ - Identität
(x DIV y)·y + (x MOD y) = x
logisch:
„abgerundeter“ Quotient • Nenner  +  Rest  = Zähler