Compensated summation