vec4_D.cmi: lacaml_float64.cmo