Back Standard: http://www.w3.org/TR/xslt#element-decimal-format

<decimal-format> : decimal-separator

Standard excerpt:

decimal-separator specifies the character used for the decimal sign; the default value is the period character (.)