IE11中带有Date.toLocaleDateString（）的格式化选项有何不同？

Question

我有一个简单的问题，我不知道如何解决。如果我在Chrome中运行此代码：

var event = new Date(Date.UTC(2012, 11, 5, 3, 0, 0));
var options = { weekday: 'long', year: 'numeric', month: 'long', day: 'numeric' };
console.log(event.toLocaleDateString('en-US', options));

结果是Tuesday, December 4, 2012，但是如果我在IE11中运行它，则会得到‎Tuesday‎, ‎December‎ ‎04‎, ‎2012。

似乎IE11不符合day: 'numeric'的格式参数，而是好像我指定了day: '2-digit'一样。

那么这仅仅是IE11的错吗？我在网上找不到有关此特定问题的任何讨论。如果是这样，我如何解决此问题，以得到想要的格式而没有一位数字的天数开头0？