DataFrames: reading vector from *.csv file to dataframe column

Unless your file is huge, I would just read the last column as a string, then distribute to 3 columns later. See this topic for alternatives: