Exact computation of a sum or difference with applications to argument reduction | IEEE Conference Publication | IEEE Xplore