An Analysis of Arithmetic Constraints on Integer Intervals