// Copyright 2009 the Sputnik authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/**
 * Result of appying "typeof" operator to number is "number"
 *
 * @path ch11/11.4/11.4.3/S11.4.3_A3.4.js
 * @description typeof (number value) === "number"
 */

//CHECK#1
if (typeof 1 !== "number") {
  $ERROR('#1: typeof 1 === "number". Actual: ' + (typeof 1));
}

//CHECK#2
if (typeof Number.NaN !== "number") {
  $ERROR('#2: typeof NaN === "number". Actual: ' + (typeof NaN));
}

//CHECK#3
if (typeof Number.POSITIVE_INFINITY !== "number") {
  $ERROR('#3: typeof Infinity === "number". Actual: ' + (typeof Infinity));
}

//CHECK#4
if (typeof Number.NEGATIVE_INFINITY !== "number") {
  $ERROR('#4: typeof -Infinity === "number". Actual: ' + (typeof -Infinity));
}

//CHECK#5
if (typeof Math.PI !== "number") {
  $ERROR('#5: typeof Math.PI === "number". Actual: ' + (typeof Math.PI));
}