04 - Scala. Type of natural numbers