added NaturalNumber class