__fmul
__fmul("%.s %#0r0,%0", double, __builtin_huge_val());
__fmul("%.x %0,%0", long double, LDBL_MAX);
__fmul(__builtin_huge_val(), 0.0);
__fmul(LDBL_MAX, LDBL_MAX);