let ne_real  = "neq_real"