compensated summation