syst_float32_lt
flag syst_float32_lt( float32, float32 );
test_ab_float32_z_flag( float32_lt, syst_float32_lt );