> I do not find the int() procedure. I do not find any procedure answers the > question of how to provide the right type.
That's because `int()` is not special. What you are looking at is _type conversion_. >From the manual >([https://nim-lang.github.io/Nim/manual.html#statements-and-expressions-type-conversions)](https://nim-lang.github.io/Nim/manual.html#statements-and-expressions-type-conversions\)): > Syntactically a type conversion is like a procedure call, but a type name > replaces the procedure name. If a var `x` can get converted to type `FOO`, you can do `FOO(x)` or `x.FOO` to do that conversion. In your example, FOO is int.
