Double precision is more precise than float, and performance really shouldn't be an issue on today's computers. Just thought I'd mention that.
As to your question; usually when i get a problem like this, I would write a python script to go through my file and make changes. It normally takes more time than it would to manually make the changes, but who wants to do that? Also I get burned if I dont make back-ups of my back-ups of my back-ups of my source. Just a fun idea I thought I'd throw out if you have a lot of time on your hands like me.
scru
Posting Virtuoso
1,629 posts since Feb 2007
Reputation Points: 975
Solved Threads: 140