float64_rem
float64 float64_rem( float64, float64 ) __dso_protected;
time_abz_float64( float64_rem );
float64 float64_rem( float64, float64 );