"natural number"@en-us . .