Added implementation of correctly rounded interval addition.