Codificación de la clase NaturalNumberManager