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