links isNaturalNumber and isPositiveInteger to each other