PHP function - numfmt_get_symbol