Use 'str' instead of 'repr' when storing floats.

This gets rid of the excessive precision some versions of Python use
when storing float values in CSV files. Users should see no difference,
but the data files might get smaller.