format-number(1234.56, '#,#.0000')" gibt die Zeichenfolge "1,234.5600" zurück. "format-number(.2345, '#.#%')" gibt die Zeichenfolge ...