let ne_real_bool  = "neq_real_bool"