a><span class="token punctuation">(</span><span class="token punctuation">)</span><span class="token operator">: </span><a href="index.html">NonZeroInt</a></div><div class="brief "><p class="paragraph">Returns this <a href="value.html">value</a>.</p></div></div></div>
              </div>
            </div>
          </div>
        </div>
      </div>
      <h2 class="">Properties</h2>
      <div class="table" data-togglable="Properties"><a data-name="-1087263289%2FProperties%2F-879532132" anchor-label="val