Added merge functions to IntegerInterval.