Compensated compensated arithmetic