Currently both AdditiveIterator and MultiplicativeIterator are implemented on specifically all iterators over the base integer types. This is strange as they could be generically implemented over all iterators with items implementing Add/Mul. Moreover, the concepts of summation and products aren't exactly limited to iterators (although these traits actually have no requirement of being implemented on iterators).