let e_rneg = unop neg_real