dvec is a double precision vector now