let e_float k = Fol.e_float k