let neg_real = "neg_real"