float32_rem
float32 float32_rem( float32, float32 ) __dso_protected;
time_abz_float32( float32_rem );
float32 float32_rem( float32, float32 );