// Copyright 2009 the Sputnik authors.  All rights reserved.
/**
 * The [[Value]] property of the newly constructed object
 * is set to ToNumber(value) if value was supplied, else to +0
 *
 * @path ch15/15.7/15.7.2/S15.7.2.1_A3.js
 * @description Checking value of the newly created object
 */

//CHECK#1
var x1 = new Number(1);
if (x1.valueOf() !== 1) {
  $ERROR('#1: var x1 = new Number(1); x1.valueOf() === 1');
}

//CHECK#2
var x2 = new Number();
if (x2.valueOf() !== 0) {
  $ERROR('#2.1: var x2 = new Number(); x2.valueOf() === 0');
} else if( 1/x2.valueOf() !== Number.POSITIVE_INFINITY ) {
  $ERROR('#2.2: var x2 = new Number(); x2.valueOf() === +0');
}

