Modified the XML results files to store higher precision versions of the floats.
The float is stored as an IEEE-754 byte array in the XML attribute ieee_754_byte_array.
Authored by: bugman 2008-07-05
Parent: [r6773]
Child: [r6775]