format-number(1234.56, '#,#.0000')" restituisce la stringa "1,234.5600". "format-number(.2345, '#.#%')" restituisce la stringa ...