let type_float = make_c_type (Tbuiltin Tfloat)