more elegant operator for interval addition