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