Better format for serialization of floating point OFNumbers.