updated NaturalNumber class