NaturalNumber y NaturalNumberCreator añadidos