Number.prototype.toLocaleString([locales[, options]]) extern

There is an extern for `Object.prototype.toLocaleString()` in [es3.js](/google/closure-compiler/blob/master/externs/es3.js).

Should there also be an overriding extern for [`Number.prototype.toLocaleString()`](//developer.mozilla.org/docs/Web/JavaScript/Reference/Global_Objects/Number/toLocaleString) with its two optional parameters, perhaps in one of either the ES5 or (more likely) ES6 extern files? Or was this intentionally left out?

Right now, passing anything to the method gives me a warning based on `Object.prototype.toLocaleString()`, which expects exactly zero arguments.
Use `!Array<string>` instead of `Array.<string>`. (The argument is non-nullable, and the compiler recently made the dot before the generic bracket optional. See [Closure Library commit 00a0703](https://github.com/google/closure-library/commit/00a0703836054da26ca35afa6ac2117bdf68eea2).)