format-number(1234.56, '#,#.0000')" returns the string "1,234.5600". "format-number(.2345, '#.#%')" returns the string "23.5%". ...