CommandArgs: output of vector<double>