let e_float k = TERM.Treal(string_of_float k)