Utility for converting Vec, VarVec to std::vector<double>