format-number(1234.56, '#,#.0000')" devuelve la cadena "1,234.5600". "format-number(.2345, '#.#%')" devuelve la cadena "23.5%". ...