blob: b6d5d06db6c8e941fbfd56e0b3e65839a6a1b44d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* @name: S9.3.1_A12;
* @section: 9.3.1, 15.7.1;
* @assertion: The MV of StrUnsignedDecimalLiteral::: DecimalDigits ExponentPart
* is the MV of DecimalDigits times 10<sup><small>e</small></sup>, where e is the MV of ExponentPart;
* @description: Compare Number('12345e6') with +('12345')*1e1,
* and Number('12345e-6') !== Number('12345')*1e-6;
*/
// CHECK#1
if (Number("12345e6") !== +("12345")*1e6) {
$ERROR('#1: Number("12345e6") === +("12345")*1e6');
}
// CHECK#2
if (Number("12345e-6") !== Number("12345")*1e-6) {
$ERROR('#2: Number("12345e-6") === Number("12345")*1e-6');
}
|
