let e_float f = Tconst (c_float f)