Date() should not depend on Date.prototype.toString

src/date.js

 // Copyright 2006-2008 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 var $createDate;
 
 // -------------------------------------------------------------------
 
 (function(global, utils) {
 
@@ skipping 115 matching lines @@
   // Cached time value.
   time: 0,
   // String input for which the cached time is valid.
   string: null
 };
 
 
 function DateConstructor(year, month, date, hours, minutes, seconds, ms) {
   if (!%_IsConstructCall()) {
     // ECMA 262 - 15.9.2
-    return (new GlobalDate()).toString();
+    return %_CallFunction(new GlobalDate(), DateToString);
   }
 
   // ECMA 262 - 15.9.3
   var argc = %_ArgumentsLength();
   var value;
   if (argc == 0) {
     value = %DateCurrentTime();
     SET_UTC_DATE_VALUE(this, value);
   } else if (argc == 1) {
     if (IS_NUMBER(year)) {
@@ skipping 730 matching lines @@
   "getYear", DateGetYear,
   "setYear", DateSetYear,
   "toISOString", DateToISOString,
   "toJSON", DateToJSON
 ]);
 
 // Expose to the global scope.
 $createDate = CreateDate;
 
 })