text: load("fcfbc86708bc3a4062c2091a062e13b6.js");
  load("faa81dc98fc13338aca921d45eebae79.js");
  // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /**
   * Number type represented as the double precision 64-bit format IEEE 754
   *
   * @path ch08/8.5/S8.5_A2.1.js
   * @description Use 2^53 + 2 number and do some operation with it
   */
  
  var x = 9007199254740994.0; /* 2^53 + 2 */
  var y = 1.0 - 1/65536.0;
  var z = x + y;
  var d = z - x;
  
  if (d !== 0){
    $ERROR('#1: var x = 9007199254740994.0; var y = 1.0 - 1/65536.0; var z = x + y; var d = z - x; d === 0. Actual: ' + (d));
  }
  
  