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