float64_mul
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
float64 float64_mul( float64, float64 );
time_abz_float64( float64_mul );
float64 float64_mul( float64, float64 );
test_abz_float64( float64_mul, syst_float64_mul );
float64_add, float64_sub, float64_mul, float64_div,
float64 float64_mul( float64, float64 );