token punctuation">(</span><span class="token punctuation">)</span><span class="token operator">: </span><a href="-positive-int/index.html">PositiveInt</a></div><p class="paragraph">Returns this value as a positive int, or throws an <a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-illegal-argument-exception/index.html">IllegalArgumentException</a> if this value is strictly negative.</p></div></div>
</div>
      <div class="footer">
        <span class="go-to-top-icon"><a href="#content" id="go-