| bigint-and-number.js SD | |

| bigint-arithmetic.js SD | |

| bigint-errors.js SD | |

| bigint-toprimitive.js SD | |

| bigint-wrapped-values.js SD | |

| order-of-evaluation.js SD | |

| By using eval SD S11.6.2_A1.js | |

| Either Type is not Reference or GetBase is not null SD S11.6.2_A2.1_T1.js | |

| If GetBase(x) is null, throw ReferenceError SD S11.6.2_A2.1_T2.js | |

| If GetBase(y) is null, throw ReferenceError SD S11.6.2_A2.1_T3.js | |

| If Type(value) is Object, evaluate ToPrimitive(value, Number) SD S11.6.2_A2.2_T1.js | |

| With 'throw' SD S11.6.2_A2.3_T1.js | |

| With '=' SD S11.6.2_A2.4_T1.js | |

| With 'throw' SD S11.6.2_A2.4_T2.js | |

| With undeclarated variables SD S11.6.2_A2.4_T3.js | |

| With undeclarated variables D S11.6.2_A2.4_T4.js | |

| Type(x) and Type(y) vary between primitive boolean and Boolean object SD S11.6.2_A3_T1.1.js | |

| Type(x) and Type(y) vary between primitive number and Number object SD S11.6.2_A3_T1.2.js | |

| Type(x) and Type(y) vary between primitive string and String object SD S11.6.2_A3_T1.3.js | |

| Type(x) and Type(y) vary between Null and Undefined SD S11.6.2_A3_T1.4.js | |

| Type(x) and Type(y) vary between Object object and Function object SD S11.6.2_A3_T1.5.js | |

| Type(x) is different from Type(y) and both types vary between Number (primitive or object) and Boolean (primitive and object) SD S11.6.2_A3_T2.1.js | |

| Type(x) is different from Type(y) and both types vary between Number (primitive or object) and String (primitive and object) SD S11.6.2_A3_T2.2.js | |

| Type(x) is different from Type(y) and both types vary between Number (primitive or object) and Null SD S11.6.2_A3_T2.3.js | |

| Type(x) is different from Type(y) and both types vary between Number (primitive or object) and Undefined SD S11.6.2_A3_T2.4.js | |

| Type(x) is different from Type(y) and both types vary between String (primitive or object) and Boolean (primitive and object) SD S11.6.2_A3_T2.5.js | |

| Type(x) is different from Type(y) and both types vary between String (primitive or object) and Undefined SD S11.6.2_A3_T2.6.js | |

| Type(x) is different from Type(y) and both types vary between String (primitive or object) and Null SD S11.6.2_A3_T2.7.js | |

| Type(x) is different from Type(y) and both types vary between Boolean (primitive or object) and Undefined SD S11.6.2_A3_T2.8.js | |

| Type(x) is different from Type(y) and both types vary between Boolean (primitive or object) and Null SD S11.6.2_A3_T2.9.js | |

| If either operand is NaN, the result is NaN SD S11.6.2_A4_T1.js | |

| The difference of two infinities of opposite sign is the infinity of minuend sign SD S11.6.2_A4_T2.js | |

| The difference of two infinities of the same sign is NaN SD S11.6.2_A4_T3.js | |

| The difference of an infinity and a finite value is equal to infinity of appropriate sign SD S11.6.2_A4_T4.js | |

| Using the rule of sum of two zeroes and the fact that a - b = a + (-b) SD S11.6.2_A4_T5.js | |

| Using the rule of sum of a zero and a nonzero finite value and the fact that a - b = a + (-b) SD S11.6.2_A4_T6.js | |

| The mathematical difference of two nonzero finite values of the same magnitude and same sign is +0 SD S11.6.2_A4_T7.js | |

| If the magnitude is too large to represent, the operation overflows and the result is then an infinity of appropriate sign SD S11.6.2_A4_T8.js | |