Proposed resolution:

Insert a new paragraph after [cmplx.over]/2:

All of the specified overloads shall have a return type which is the nested value_type of the effectively cast arguments.