float64_mul
float64 float64_mul( float64, float64 ) __dso_protected;
time_abz_float64( float64_mul );
float64_add, float64_sub, float64_mul, float64_div,
dest.dbl = float64_mul(arg1.dbl, arg2.dbl);
dest.dbl = float64_mul(arg1.dbl, arg2.dbl);
float64_mul((float64)raw1, (float64)raw2),
float64_mul((float64)raw1, (float64)raw2),
float64 f64 = float64_mul((float64)raw1, (float64)raw2);
float64_mul((float64)raw1, (float64)raw2),
float64_mul((float64)raw1, (float64)raw2),
float64 float64_mul( float64, float64 );