syst_float64_eq
flag syst_float64_eq( float64, float64 );
test_ab_float64_z_flag( float64_eq, syst_float64_eq );