Plus operator for doubles