 <ol>
      <li>Let q and 0 &lt; r &lt; |n| be two integers such that
        m = q * n + r.
      <li>If r = 0 then the result of m / n is q.
      <li>Otherwise, if m &gt; 0 and n &gt; 0 then the result of
        m / n is q.
      <li>Otherwise, the result of m / n is either q or q+1
        at the discretion of the implementor.
    </ol>

    The result of the remainder operation m MOD n is given by:
    m - (m / n) * n.<p>

      The Boolean operators "OR" and "AND" are evaluated in a ``short
      cir