Numbers are defined further down, in terms of those primitives. Search for the phrase "Now we come to the code that implements numbers."