Minor tweak to export()
Rounded floats for export