syst_float64_lt
flag syst_float64_lt( float64, float64 );
test_ab_float64_z_flag( float64_lt, syst_float64_lt );