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