It would be good if the `DataFrame.to_csv` method would support specifying the string format to use.