Increased precision of printing (in write_canonical) of 64-bit floats.
Authored by: dwarren 2013-09-24
Parent: [r7806]
Child: [r7808]
