ml">PositiveInt</a></div><div class="brief "><p class="paragraph">Calculates the remainder of truncating division of this integer by the <a href="../rem.html">other</a> one.</p></div></div></div>
                </div>
              </div>
            </div>
          </div>
<a data-name="1705014584%2FFunctions%2F1975660236" anchor-label="times" id="1705014584%2FFunctions%2F1975660236" data-filterable-set=":types:dokkaHtmlPartial/commonMain"></a>
          <div class="table-row" data-togglable="EXTENSION_FU