OH! That's of course right. I wasn't precise enough. The Wikipedia page talks actually about "positive" integers, and I transformed this in my head to what sho

OH! That's of course right. I wasn't precise enough. The Wikipedia page talks actually about "positive" integers, and I transformed this in my head to what should be written there. Original quote: > !x enumerate the positive integers less than x.