let e_rcst z =  Fol.e_cnst (Fol.c_float_of_str z)