syst_float32_div
float32 syst_float32_div( float32, float32 );
test_abz_float32( float32_div, syst_float32_div );