syst_float32_eq
flag syst_float32_eq( float32, float32 );
test_ab_float32_z_flag( float32_eq, syst_float32_eq );