let
e_float f =
Tconst
(c_float f)