Default decimal format

Figure 74. DecimalFormatDecl

DecimalFormatDecl

Figure 75. DFPropertyName

DFPropertyName

This specifies a default decimal format for the builtin function format-number().