[boost] counting_iterator<int>::difference_type