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:  * Type(x) and Type(y) are Number-s minus NaN, +0, -0.
michael@0:  * Return true, if x is the same number value as y; otherwise, return false
michael@0:  *
michael@0:  * @path ch11/11.9/11.9.4/S11.9.4_A4.3.js
michael@0:  * @description x and y are primitive numbers
michael@0:  */
michael@0: 
michael@0: //CHECK#1
michael@0: if (!(Number.POSITIVE_INFINITY === Number.POSITIVE_INFINITY)) {
michael@0:   $ERROR('#1: +Infinity === +Infinity');
michael@0: }
michael@0: 
michael@0: //CHECK#2
michael@0: if (!(Number.NEGATIVE_INFINITY === Number.NEGATIVE_INFINITY)) {
michael@0:   $ERROR('#2: -Infinity === -Infinity');
michael@0: }
michael@0: 
michael@0: //CHECK#3
michael@0: if (!(13 === 13)) {
michael@0:   $ERROR('#3: 13 === 13');
michael@0: }
michael@0: 
michael@0: //CHECK#4
michael@0: if (!(-13 === -13)) {
michael@0:   $ERROR('#4: -13 === -13');
michael@0: }
michael@0: 
michael@0: //CHECK#5
michael@0: if (!(1.3 === 1.3)) {
michael@0:   $ERROR('#5: 1.3 === 1.3');
michael@0: }
michael@0: 
michael@0: //CHECK#6
michael@0: if (!(-1.3 === -1.3)) {
michael@0:   $ERROR('#6: -1.3 === -1.3');
michael@0: }
michael@0: 
michael@0: //CHECK#7
michael@0: if (!(Number.POSITIVE_INFINITY === -Number.NEGATIVE_INFINITY)) {
michael@0:   $ERROR('#7: +Infinity === -(-Infinity)');
michael@0: }
michael@0: 
michael@0: //CHECK#8
michael@0: if (1 === 0.999999999999) {
michael@0:   $ERROR('#8: 1 !== 0.999999999999');
michael@0: }
michael@0: 
michael@0: //CHECK#9
michael@0: if (!(1.0 === 1)) {
michael@0:   $ERROR('#9: 1.0 === 1');
michael@0: }
michael@0: