let type_double = make_c_type (Tbuiltin Tdouble)