Fixes to write floats in the standard format (which is changeable).
Authored by: tswift 2018-08-06
Parent: [r9412]
Child: [r9414]
