This is the whole purpose for affine arithmetic, no?