Hi Alan, you're right; it was my mistake to use DECIMAL_DIG in the first place. I still believe the right fix is to avoid that constant entirely, and use one specific to IEEE 754 doubles, which are what we want to print anyway; but if you can think of a better fix, please let me know. Thanks, Pip