Bugfix: increment sorting in addAll only by 128 instead of multiplying as the latter
pushes us to MAXINT pretty soon.