Documenting natural_number