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