syst_float64_le
flag syst_float64_le( float64, float64 );
test_ab_float64_z_flag( float64_le, syst_float64_le );