IntegerAggregator done