added NaturalNumbers package