</a><span class="token punctuation">(</span><span class="token punctuation">)</span><span class="token operator">: </span><a href="../-positive-int/index.html">PositiveInt</a></div><div class="brief "><p class="paragraph">Returns this <a href="value.html">value</a> 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 <a href="value.html">value</a> is strictly negative.</p></div></div></div>
 