syst_float32_mul
float32 syst_float32_mul( float32, float32 );
test_abz_float32( float32_mul, syst_float32_mul );