Compensated floating-point arithmetic