let
type_float = make_c_type (
Tbuiltin
Tfloat
)