PHP function - numfmt_set_symbol