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 false, if x is the same number value as y; otherwise, return true
michael@0:  *
michael@0:  * @path ch11/11.9/11.9.5/S11.9.5_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: