nt/index.html">NonZeroInt</a>, <a href="../-negative-int/index.html">NegativeInt</a></div><p class="paragraph">Representation of negative integers excluding <a href="../-zero-int/index.html">zero</a>.</p></div></div>
  </div>
  <div class="tabbedcontent">
    <div class="tabs-section" tabs-section="tabs-section"><button class="section-tab" data-active="" data-togglable="Types">Types</button><button class="section-tab" data-togglable="Functions">Functions</button><button class="section-tab" data-togglable="E