``counting_iterator`` adapts an arithmetic type, such as ``int``, by
adding an ``operator*`` that returns the current value of the object.