Hi Tom,
If this is a one time thing the simplest thing to do would be to
select the column, then copy (ctrl+C), paste into notepad (ctrl+V),
and save the file with a .txt file extension.
That would provide you with numbers that are formatted.
The other way would be to save the file, then use file, save as,
and save as .txt or .csv depending on what you want,
then exit the file, so you can go back to your original.
