./kotools.types.number/-strictly-positive-int/index.html">StrictlyPositiveInt</a><span class="token punctuation">, </span></span><span class="parameter ">defaultValue<span class="token operator">: </span><span class="token punctuation">(</span><span class="token keyword"></span><a href="../../kotools.types.number/-strictly-positive-int/index.html">StrictlyPositiveInt</a><span class="token punctuation">)</span><span class="token operator"> -&gt; </span><span class="token keyword"></span><span><span class="to