time_abz_float64
time_abz_float64( float64_add );
time_abz_float64( float64_sub );
time_abz_float64( float64_mul );
time_abz_float64( float64_div );
time_abz_float64( float64_rem );