Hello Greg,
?
I took the option of powering the 3457A in the normal way, with an earth connection as usual. At the same time I floated the soldering iron by powering it from a car battery and a DC-to-AC converter (the type which is commonly used in campers and similar vehicles). Another option is to use line power and an isolation transformer, if you have one. A portable, battery-powered or soldering iron would work just as well.
?
Cheers,
Joel