Made natural_number non-generic