[FIX] res.currency: correctly compute the number of decimal places for currencies formatting in 'get_format_currencies_js_function'.