Tipo de devolución automática de plantilla y ambigüedad

Tengo una función de plantilla sobrecargada:

template<typename T1, typename T2>
auto overMax(T1 a, T2 b)
{
    std::cout << __FUNCSIG__ << std::endl;

    return b < a ? a : b;
}

template<typename RT, typename T1, typename T2>
RT overMax(T1 a, T2 b)
{
    std::cout << __FUNCSIG__ << std::endl;

    return b < a ? a : b;
}

Si lo llamo así:

auto a = overMax(4, 7.2); // uses first template
auto b = overMax<double>(4, 7.2); // uses second template

todo funciona perfecto, pero

auto c = overMax<int>(4, 7.2); // error

provoca llamadas ambiguas.

¿Por qué es así con int y OK qué otros tipos?

RTno es deducible, por lo que cuando no se proporciona, solo template<typename T1, typename T2> auto overMax(T1 a, T2 b)se puede llamar.

Cuando proporciona (parcialmente) un argumento de plantilla, ambos métodos son viables,

pero dependiendo del argumento, uno puede ser un mejor candidato:

• por auto b = overMax<double>(4, 7.2); // uses second template

  Ambos overMax<double, int, double>y overMax<double, double>son viables.
  Pero overMax<double, int, double>es coincidencia exacta
  mientras que overMax<double, double>se requiere intpara doublela conversión.

• por auto c = overMax<int>(4, 7.2); // Ambiguous call

  Ambos overMax<int, int, double>y overMax<int, double>son viables.
  Pero ninguno de los dos es mejor o más especializado, por lo que la llamada es ambigua.