>PositiveInt</a> : <a href="-any-int/index.html">AnyInt</a></div><div class="brief "><p class="paragraph">Represents an integer number of type <a href="https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/-int/index.html">Int</a> that is greater than or equals zero.</p></div></div></div>
                </div>
              </div>
            </div>
          </div>
<a data-name="-1820781733%2FClasslikes%2F1975660236" anchor-label="StrictlyNegativeDouble" id="-1820781733%2FClasslikes%2F1975660236" data-filte