let
e_float k =
TERM
.
Treal
(string_of_float k)