> btw, is there any builtin type which is true positive integer Yes, to be technically correct `Natural` is non-negative (from zero and above), and `Positive` is strictly positive (from one above).
[https://nim-lang.github.io/Nim/system.html#Natural](https://nim-lang.github.io/Nim/system.html#Natural) [https://nim-lang.github.io/Nim/system.html#Positive](https://nim-lang.github.io/Nim/system.html#Positive)
