float64 with pandas to_csv,"df.to_csv('pandasfile.csv', float_format='%g')"