Default decimal format

Figure 64. DecimalFormatDecl

DecimalFormatDecl

Figure 65. DFPropertyName

DFPropertyName

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