ctuation">)</span><span class="token operator">: </span><a href="../-positive-int/index.html">PositiveInt</a></div><div class="brief "><p class="paragraph">Divides this integer by the <a href="../div.html">other</a> one, truncating the result to an integer that is closer to <a href="../-zero-int/index.html">zero</a>.</p></div></div></div>
              </div>
            </div>
          </div>
        </div>
<a data-name="587683704%2FExtensions%2F788909594" anchor-label="minus" id="587683704%2FExtensions%2