let f_neg _i = F.e_rneg