Mark Mitchell wrote:
What I would hope would work would be modifying real.c to (a) directly suport the decimal format for storage, and (b) update the emulation of floating-point operations to work correctly on the decimal format. I definitely agree that translating into the binary format is likely to result in various errors.
I see no reason not to use binary format to store decimal numbers ...
I don't have an opinion on exactly what method of modifying real.c would be cleanest.