rsion<span class="token operator"> = </span><span data-unresolved-link="org.kotools.types.internal/KotoolsTypesVersion.V4_1_0///PointingToDeclaration/">KotoolsTypesVersion.V4_1_0</span></span><wbr><span class="token punctuation">)</span></div></div><span class="token keyword">operator </span><span class="token keyword">fun </span><a href="-positive-int/index.html">PositiveInt</a><span class="token punctuation">.</span><a href="rem.html"><span class="token function">rem</span></a><span class="token punctuati