Well, that’s a good point. However, if I wanted to export a CSV with only one decimal place, it would be mighty annoying if changing it to one in Excel didn’t save it like that in the CSV. Unless there was another option to control that.