Store decimals in standard notation #9577

When emitting XML store decimal type values in floating-point notation.