adjust the numbersymbols.js to use the full and therefore correct list of locales given from google closure