constant fold (a + N) - M and (a - N) + M