<div class="info ">
<div class="info-desc">
<p>Integer remainder.  If <code class="code">y</code> is not zero, the result
   of <code class="code">Int32.rem&nbsp;x&nbsp;y</code> satisfies the following property:
   <code class="code">x&nbsp;=&nbsp;Int32.add&nbsp;(Int32.mul&nbsp;(Int32.div&nbsp;x&nbsp;y)&nbsp;y)&nbsp;(Int32.rem&nbsp;x&nbsp;y)</code>.
   If <code class="code">y&nbsp;=&nbsp;0</code>, <code class="code">Int32.rem&nbsp;x&nbsp;y</code> raises <code class="code">Division_by_zero</code>.</p>
</div>