Средства и методы разработки

На самом деле, я не вижу практической ценности отказа от "строгой"(кхе-кхе) типизации. В первом вашем варианте хотя бы проверяется что а и b одного типа. Но и тут можно дохрена к чему придраться (а это точно числовые типы?!) 

Но, повторюсь, Для числовых, в языке Си определен подход сведения к заведомо самому большому.

Т.е.:

double min(double a, double b){
   if(a > b){
      return b;
   }else{
      return a;
}  }

Если типы заведомо int (а это обычно так), можно написать это все для long.

И т.п.

Повторяю, это освященный решениями комитета по языку подход.

Он работает достаточно надёжно и компилятор практически всегда генерит корректный и эффективный код.