Proposed resolution:

This wording is relative to N4810.

1. Change [cmplx.over], as indicated:

   -2- The additional overloads shall be sufficient to ensure:

   1. (2.1) — If the argument has type long double, then it is effectively castimplicitly converted ([conv]) to complex<long double>.

   2. (2.2) — Otherwise, if the argument has type double or an integer type, then it is effectively castimplicitly converted to complex<double>.

   3. (2.3) — Otherwise, if the argument has type float, then it is effectively castimplicitly converted to complex<float>.

   -3 Function template pow shall have additional overloads sufficient to ensure, for a call with at least one argument of type complex<T>:

   1. (3.1) — If either argument has type complex<long double> or type long double, then both arguments are effectively castimplicitly converted ([conv]) to complex<long double>.

   2. (3.2) — Otherwise, if either argument has type complex<double>, double, or an integer type, then both arguments are effectively castimplicitly converted to complex<double>.

   3. (3.3) — Otherwise, if either argument has type complex<float> or float, then both arguments are effectively castimplicitly converted to complex<float>.

2. Change [cmath.syn], as indicated:

   -2- For each set of overloaded functions within <cmath>, with the exception of abs, there shall be additional overloads sufficient to ensure:

   1. If any argument of arithmetic type corresponding to a double parameter has type long double, then all arguments of arithmetic type ([basic.fundamental]) corresponding to double parameters are effectively castimplicitly converted ([conv]) to long double.

   2. Otherwise, if any argument of arithmetic type corresponding to a double parameter has type double or an integer type, then all arguments of arithmetic type corresponding to double parameters are effectively castimplicitly converted to double.

   3. Otherwise, all arguments of arithmetic type corresponding to double parameters have type float.