syst_float32_sub
float32 syst_float32_sub( float32, float32 );
test_abz_float32( float32_sub, syst_float32_sub );