float32_div
float32 float32_div( float32, float32 ) __dso_protected;
time_abz_float32( float32_div );
float32_add, float32_sub, float32_mul, float32_div,
dest.sng = float32_div(arg1.sng, arg2.sng);
dest.sng = float32_div(arg1.sng, arg2.sng);
float32 f32 = float32_div((float32)raw1, (float32)raw2);
float32 f32 = float32_div(ONE_F32, (float32)raw);
f32 = float32_div(ONE_F32, f32);
float32 float32_div( float32, float32 );