diff --git a/test/language/expressions/greater-than-or-equal/bigint-and-bigint.js b/test/language/expressions/greater-than-or-equal/bigint-and-bigint.js
new file mode 100644
index 0000000000000000000000000000000000000000..01e8a9cb7253ce28f1ce89b38a12c0fc21fd840a
--- /dev/null
+++ b/test/language/expressions/greater-than-or-equal/bigint-and-bigint.js
@@ -0,0 +1,56 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of BigInt and BigInt values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+
+  sec-numeric-types-bigint-lessThan
+  BigInt::lessThan (x, y)
+
+    The abstract operation BigInt::lessThan with two arguments x and y of BigInt type returns true if x is less than y and false otherwise.
+
+features: [BigInt]
+---*/
+
+assert.sameValue(0n >= 0n, true);
+assert.sameValue(1n >= 1n, true);
+assert.sameValue(-1n >= -1n, true);
+assert.sameValue(0n >= -0n, true);
+assert.sameValue(-0n >= 0n, true);
+assert.sameValue(0n >= 1n, false);
+assert.sameValue(1n >= 0n, true);
+assert.sameValue(0n >= -1n, true);
+assert.sameValue(-1n >= 0n, false);
+assert.sameValue(1n >= -1n, true);
+assert.sameValue(-1n >= 1n, false);
+assert.sameValue(0x1fffffffffffff01n >= 0x1fffffffffffff02n, false);
+assert.sameValue(0x1fffffffffffff02n >= 0x1fffffffffffff01n, true);
+assert.sameValue(-0x1fffffffffffff01n >= -0x1fffffffffffff02n, true);
+assert.sameValue(-0x1fffffffffffff02n >= -0x1fffffffffffff01n, false);
+assert.sameValue(0x10000000000000000n >= 0n, true);
+assert.sameValue(0n >= 0x10000000000000000n, false);
+assert.sameValue(0x10000000000000000n >= 1n, true);
+assert.sameValue(1n >= 0x10000000000000000n, false);
+assert.sameValue(0x10000000000000000n >= -1n, true);
+assert.sameValue(-1n >= 0x10000000000000000n, false);
+assert.sameValue(0x10000000000000001n >= 0n, true);
+assert.sameValue(0n >= 0x10000000000000001n, false);
+assert.sameValue(-0x10000000000000000n >= 0n, false);
+assert.sameValue(0n >= -0x10000000000000000n, true);
+assert.sameValue(-0x10000000000000000n >= 1n, false);
+assert.sameValue(1n >= -0x10000000000000000n, true);
+assert.sameValue(-0x10000000000000000n >= -1n, false);
+assert.sameValue(-1n >= -0x10000000000000000n, true);
+assert.sameValue(-0x10000000000000001n >= 0n, false);
+assert.sameValue(0n >= -0x10000000000000001n, true);
+assert.sameValue(0x10000000000000000n >= 0x100000000n, true);
+assert.sameValue(0x100000000n >= 0x10000000000000000n, false);
diff --git a/test/language/expressions/greater-than-or-equal/bigint-and-non-finite.js b/test/language/expressions/greater-than-or-equal/bigint-and-non-finite.js
new file mode 100644
index 0000000000000000000000000000000000000000..a3f84924f064137c5e7f34b34006a5f094680c8b
--- /dev/null
+++ b/test/language/expressions/greater-than-or-equal/bigint-and-non-finite.js
@@ -0,0 +1,31 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of BigInt and non-finite Number values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+    d. Assert: Type(nx) is BigInt and Type(ny) is Number, or if Type(nx) is Number and Type(ny) is BigInt.
+    e. If x or y are any of NaN, return undefined.
+    f. If x is -∞, or y is +∞, return true.
+    g. If x is +∞, or y is -∞, return false.
+features: [BigInt]
+---*/
+
+assert.sameValue(1n >= Infinity, false);
+assert.sameValue(Infinity >= 1n, true);
+assert.sameValue(-1n >= Infinity, false);
+assert.sameValue(Infinity >= -1n, true);
+assert.sameValue(1n >= -Infinity, true);
+assert.sameValue(-Infinity >= 1n, false);
+assert.sameValue(-1n >= -Infinity, true);
+assert.sameValue(-Infinity >= -1n, false);
+assert.sameValue(0n >= NaN, false);
+assert.sameValue(NaN >= 0n, false);
diff --git a/test/language/expressions/greater-than-or-equal/bigint-and-number-extremes.js b/test/language/expressions/greater-than-or-equal/bigint-and-number-extremes.js
new file mode 100644
index 0000000000000000000000000000000000000000..ea0a725c78942de5d5b215d8775c840d1c4261cf
--- /dev/null
+++ b/test/language/expressions/greater-than-or-equal/bigint-and-number-extremes.js
@@ -0,0 +1,38 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of large BigInt and Number values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+    d. Assert: Type(nx) is BigInt and Type(ny) is Number, or if Type(nx) is Number and Type(ny) is BigInt.
+    e. If x or y are any of NaN, return undefined.
+    f. If x is -∞, or y is +∞, return true.
+    g. If x is +∞, or y is -∞, return false.
+    h. If the mathematical value of nx is less than the mathematical value of ny, return true, otherwise return false.
+features: [BigInt]
+---*/
+
+assert.sameValue(1n >= Number.MAX_VALUE, false);
+assert.sameValue(Number.MAX_VALUE >= 1n, true);
+assert.sameValue(1n >= -Number.MAX_VALUE, true);
+assert.sameValue(-Number.MAX_VALUE >= 1n, false);
+assert.sameValue(
+  0xfffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffn >= Number.MAX_VALUE,
+  false);
+assert.sameValue(
+  Number.MAX_VALUE >= 0xfffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffn,
+  true);
+assert.sameValue(
+  0xfffffffffffff800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001n >= Number.MAX_VALUE,
+  true);
+assert.sameValue(
+  Number.MAX_VALUE >= 0xfffffffffffff800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001n,
+  false);
diff --git a/test/language/expressions/greater-than-or-equal/bigint-and-number.js b/test/language/expressions/greater-than-or-equal/bigint-and-number.js
index e7bb634812cd9bcbaae263ff706433c0f09ee012..63890b9e3fd5c1921d230cd62ea4fb2a63d81eed 100644
--- a/test/language/expressions/greater-than-or-equal/bigint-and-number.js
+++ b/test/language/expressions/greater-than-or-equal/bigint-and-number.js
@@ -20,17 +20,23 @@ info: |
 features: [BigInt]
 ---*/
 
+assert.sameValue(0n >= 0, true);
+assert.sameValue(0 >= 0n, true);
+assert.sameValue(0n >= -0, true);
+assert.sameValue(-0 >= 0n, true);
+assert.sameValue(0n >= 0.000000000001, false);
+assert.sameValue(0.000000000001 >= 0n, true);
+assert.sameValue(0n >= 1, false);
+assert.sameValue(1 >= 0n, true);
 assert.sameValue(1n >= 0, true);
+assert.sameValue(0 >= 1n, false);
 assert.sameValue(1n >= 0.999999999999, true);
-assert.sameValue(1 >= 0n, true);
-assert.sameValue(0.000000000001 >= 0n, true);
+assert.sameValue(0.999999999999 >= 1n, false);
 assert.sameValue(1n >= 1, true);
 assert.sameValue(1 >= 1n, true);
-assert.sameValue(0n >= 1, false);
-assert.sameValue(0 >= 1n, false);
-assert.sameValue(0 >= 0n, true);
-assert.sameValue(0n >= 0, true);
-assert.sameValue(1n >= Number.MAX_VALUE, false);
+assert.sameValue(0n >= Number.MIN_VALUE, false);
 assert.sameValue(Number.MIN_VALUE >= 0n, true);
+assert.sameValue(0n >= -Number.MIN_VALUE, true);
+assert.sameValue(-Number.MIN_VALUE >= 0n, false);
 assert.sameValue(-10n >= Number.MIN_VALUE, false);
-assert.sameValue(Number.MAX_VALUE >= 10000000000n, true);
+assert.sameValue(Number.MIN_VALUE >= -10n, true);
diff --git a/test/language/expressions/greater-than/bigint-and-bigint.js b/test/language/expressions/greater-than/bigint-and-bigint.js
new file mode 100644
index 0000000000000000000000000000000000000000..fb627431876601239607ef581078839c5ca2357a
--- /dev/null
+++ b/test/language/expressions/greater-than/bigint-and-bigint.js
@@ -0,0 +1,56 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of BigInt and BigInt values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+
+  sec-numeric-types-bigint-lessThan
+  BigInt::lessThan (x, y)
+
+    The abstract operation BigInt::lessThan with two arguments x and y of BigInt type returns true if x is less than y and false otherwise.
+
+features: [BigInt]
+---*/
+
+assert.sameValue(0n > 0n, false);
+assert.sameValue(1n > 1n, false);
+assert.sameValue(-1n > -1n, false);
+assert.sameValue(0n > -0n, false);
+assert.sameValue(-0n > 0n, false);
+assert.sameValue(0n > 1n, false);
+assert.sameValue(1n > 0n, true);
+assert.sameValue(0n > -1n, true);
+assert.sameValue(-1n > 0n, false);
+assert.sameValue(1n > -1n, true);
+assert.sameValue(-1n > 1n, false);
+assert.sameValue(0x1fffffffffffff01n > 0x1fffffffffffff02n, false);
+assert.sameValue(0x1fffffffffffff02n > 0x1fffffffffffff01n, true);
+assert.sameValue(-0x1fffffffffffff01n > -0x1fffffffffffff02n, true);
+assert.sameValue(-0x1fffffffffffff02n > -0x1fffffffffffff01n, false);
+assert.sameValue(0x10000000000000000n > 0n, true);
+assert.sameValue(0n > 0x10000000000000000n, false);
+assert.sameValue(0x10000000000000000n > 1n, true);
+assert.sameValue(1n > 0x10000000000000000n, false);
+assert.sameValue(0x10000000000000000n > -1n, true);
+assert.sameValue(-1n > 0x10000000000000000n, false);
+assert.sameValue(0x10000000000000001n > 0n, true);
+assert.sameValue(0n > 0x10000000000000001n, false);
+assert.sameValue(-0x10000000000000000n > 0n, false);
+assert.sameValue(0n > -0x10000000000000000n, true);
+assert.sameValue(-0x10000000000000000n > 1n, false);
+assert.sameValue(1n > -0x10000000000000000n, true);
+assert.sameValue(-0x10000000000000000n > -1n, false);
+assert.sameValue(-1n > -0x10000000000000000n, true);
+assert.sameValue(-0x10000000000000001n > 0n, false);
+assert.sameValue(0n > -0x10000000000000001n, true);
+assert.sameValue(0x10000000000000000n > 0x100000000n, true);
+assert.sameValue(0x100000000n > 0x10000000000000000n, false);
diff --git a/test/language/expressions/greater-than/bigint-and-non-finite.js b/test/language/expressions/greater-than/bigint-and-non-finite.js
new file mode 100644
index 0000000000000000000000000000000000000000..f1efc83dacac4d2e0b9fa35d98c6f1f98abb1804
--- /dev/null
+++ b/test/language/expressions/greater-than/bigint-and-non-finite.js
@@ -0,0 +1,31 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of BigInt and non-finite Number values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+    d. Assert: Type(nx) is BigInt and Type(ny) is Number, or if Type(nx) is Number and Type(ny) is BigInt.
+    e. If x or y are any of NaN, return undefined.
+    f. If x is -∞, or y is +∞, return true.
+    g. If x is +∞, or y is -∞, return false.
+features: [BigInt]
+---*/
+
+assert.sameValue(1n > Infinity, false);
+assert.sameValue(Infinity > 1n, true);
+assert.sameValue(-1n > Infinity, false);
+assert.sameValue(Infinity > -1n, true);
+assert.sameValue(1n > -Infinity, true);
+assert.sameValue(-Infinity > 1n, false);
+assert.sameValue(-1n > -Infinity, true);
+assert.sameValue(-Infinity > -1n, false);
+assert.sameValue(0n > NaN, false);
+assert.sameValue(NaN > 0n, false);
diff --git a/test/language/expressions/greater-than/bigint-and-number-extremes.js b/test/language/expressions/greater-than/bigint-and-number-extremes.js
new file mode 100644
index 0000000000000000000000000000000000000000..de79976069ff8f19857a08410b47200e6837ab6a
--- /dev/null
+++ b/test/language/expressions/greater-than/bigint-and-number-extremes.js
@@ -0,0 +1,38 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of BigInt and Number values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+    d. Assert: Type(nx) is BigInt and Type(ny) is Number, or if Type(nx) is Number and Type(ny) is BigInt.
+    e. If x or y are any of NaN, return undefined.
+    f. If x is -∞, or y is +∞, return true.
+    g. If x is +∞, or y is -∞, return false.
+    h. If the mathematical value of nx is less than the mathematical value of ny, return true, otherwise return false.
+features: [BigInt]
+---*/
+
+assert.sameValue(1n > Number.MAX_VALUE, false);
+assert.sameValue(Number.MAX_VALUE > 1n, true);
+assert.sameValue(1n > -Number.MAX_VALUE, true);
+assert.sameValue(-Number.MAX_VALUE > 1n, false);
+assert.sameValue(
+  0xfffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffn > Number.MAX_VALUE,
+  false);
+assert.sameValue(
+  Number.MAX_VALUE > 0xfffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffn,
+  true);
+assert.sameValue(
+  0xfffffffffffff800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001n > Number.MAX_VALUE,
+  true);
+assert.sameValue(
+  Number.MAX_VALUE > 0xfffffffffffff800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001n,
+  false);
diff --git a/test/language/expressions/greater-than/bigint-and-number.js b/test/language/expressions/greater-than/bigint-and-number.js
index 107d0fe5112793a11db21e51ecdb9580881b0d0a..10b2ac3f133d3e6ae4b6fead1e25c28edd7203af 100644
--- a/test/language/expressions/greater-than/bigint-and-number.js
+++ b/test/language/expressions/greater-than/bigint-and-number.js
@@ -20,17 +20,23 @@ info: |
 features: [BigInt]
 ---*/
 
+assert.sameValue(0n > 0, false);
+assert.sameValue(0 > 0n, false);
+assert.sameValue(0n > -0, false);
+assert.sameValue(-0 > 0n, false);
+assert.sameValue(0n > 0.000000000001, false);
+assert.sameValue(0.000000000001 > 0n, true);
+assert.sameValue(0n > 1, false);
+assert.sameValue(1 > 0n, true);
 assert.sameValue(1n > 0, true);
+assert.sameValue(0 > 1n, false);
 assert.sameValue(1n > 0.999999999999, true);
-assert.sameValue(1 > 0n, true);
-assert.sameValue(0.000000000001 > 0n, true);
+assert.sameValue(0.999999999999 > 1n, false);
 assert.sameValue(1n > 1, false);
 assert.sameValue(1 > 1n, false);
-assert.sameValue(0n > 1, false);
-assert.sameValue(0 > 1n, false);
-assert.sameValue(0 > 0n, false);
-assert.sameValue(0n > 0, false);
-assert.sameValue(1n > Number.MAX_VALUE, false);
+assert.sameValue(0n > Number.MIN_VALUE, false);
 assert.sameValue(Number.MIN_VALUE > 0n, true);
+assert.sameValue(0n > -Number.MIN_VALUE, true);
+assert.sameValue(-Number.MIN_VALUE > 0n, false);
 assert.sameValue(-10n > Number.MIN_VALUE, false);
-assert.sameValue(Number.MAX_VALUE > 10000000000n, true);
+assert.sameValue(Number.MIN_VALUE > -10n, true);
diff --git a/test/language/expressions/less-than-or-equal/bigint-and-bigint.js b/test/language/expressions/less-than-or-equal/bigint-and-bigint.js
new file mode 100644
index 0000000000000000000000000000000000000000..04f628a61bf3b3cfa787b5cf6b02043db837c59f
--- /dev/null
+++ b/test/language/expressions/less-than-or-equal/bigint-and-bigint.js
@@ -0,0 +1,56 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of BigInt and BigInt values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+
+  sec-numeric-types-bigint-lessThan
+  BigInt::lessThan (x, y)
+
+    The abstract operation BigInt::lessThan with two arguments x and y of BigInt type returns true if x is less than y and false otherwise.
+
+features: [BigInt]
+---*/
+
+assert.sameValue(0n <= 0n, true);
+assert.sameValue(1n <= 1n, true);
+assert.sameValue(-1n <= -1n, true);
+assert.sameValue(0n <= -0n, true);
+assert.sameValue(-0n <= 0n, true);
+assert.sameValue(0n <= 1n, true);
+assert.sameValue(1n <= 0n, false);
+assert.sameValue(0n <= -1n, false);
+assert.sameValue(-1n <= 0n, true);
+assert.sameValue(1n <= -1n, false);
+assert.sameValue(-1n <= 1n, true);
+assert.sameValue(0x1fffffffffffff01n <= 0x1fffffffffffff02n, true);
+assert.sameValue(0x1fffffffffffff02n <= 0x1fffffffffffff01n, false);
+assert.sameValue(-0x1fffffffffffff01n <= -0x1fffffffffffff02n, false);
+assert.sameValue(-0x1fffffffffffff02n <= -0x1fffffffffffff01n, true);
+assert.sameValue(0x10000000000000000n <= 0n, false);
+assert.sameValue(0n <= 0x10000000000000000n, true);
+assert.sameValue(0x10000000000000000n <= 1n, false);
+assert.sameValue(1n <= 0x10000000000000000n, true);
+assert.sameValue(0x10000000000000000n <= -1n, false);
+assert.sameValue(-1n <= 0x10000000000000000n, true);
+assert.sameValue(0x10000000000000001n <= 0n, false);
+assert.sameValue(0n <= 0x10000000000000001n, true);
+assert.sameValue(-0x10000000000000000n <= 0n, true);
+assert.sameValue(0n <= -0x10000000000000000n, false);
+assert.sameValue(-0x10000000000000000n <= 1n, true);
+assert.sameValue(1n <= -0x10000000000000000n, false);
+assert.sameValue(-0x10000000000000000n <= -1n, true);
+assert.sameValue(-1n <= -0x10000000000000000n, false);
+assert.sameValue(-0x10000000000000001n <= 0n, true);
+assert.sameValue(0n <= -0x10000000000000001n, false);
+assert.sameValue(0x10000000000000000n <= 0x100000000n, false);
+assert.sameValue(0x100000000n <= 0x10000000000000000n, true);
diff --git a/test/language/expressions/less-than-or-equal/bigint-and-non-finite.js b/test/language/expressions/less-than-or-equal/bigint-and-non-finite.js
new file mode 100644
index 0000000000000000000000000000000000000000..7dcaf917841680ed2f1fafd9a797e11c80fd73ee
--- /dev/null
+++ b/test/language/expressions/less-than-or-equal/bigint-and-non-finite.js
@@ -0,0 +1,31 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of BigInt and non-finite Number values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+    d. Assert: Type(nx) is BigInt and Type(ny) is Number, or if Type(nx) is Number and Type(ny) is BigInt.
+    e. If x or y are any of NaN, return undefined.
+    f. If x is -∞, or y is +∞, return true.
+    g. If x is +∞, or y is -∞, return false.
+features: [BigInt]
+---*/
+
+assert.sameValue(1n <= Infinity, true);
+assert.sameValue(Infinity <= 1n, false);
+assert.sameValue(-1n <= Infinity, true);
+assert.sameValue(Infinity <= -1n, false);
+assert.sameValue(1n <= -Infinity, false);
+assert.sameValue(-Infinity <= 1n, true);
+assert.sameValue(-1n <= -Infinity, false);
+assert.sameValue(-Infinity <= -1n, true);
+assert.sameValue(0n <= NaN, false);
+assert.sameValue(NaN <= 0n, false);
diff --git a/test/language/expressions/less-than-or-equal/bigint-and-number-extremes.js b/test/language/expressions/less-than-or-equal/bigint-and-number-extremes.js
new file mode 100644
index 0000000000000000000000000000000000000000..20b563ad9d6c892342e7f2a879efb31b705f0380
--- /dev/null
+++ b/test/language/expressions/less-than-or-equal/bigint-and-number-extremes.js
@@ -0,0 +1,38 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of BigInt and Number values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+    d. Assert: Type(nx) is BigInt and Type(ny) is Number, or if Type(nx) is Number and Type(ny) is BigInt.
+    e. If x or y are any of NaN, return undefined.
+    f. If x is -∞, or y is +∞, return true.
+    g. If x is +∞, or y is -∞, return false.
+    h. If the mathematical value of nx is less than the mathematical value of ny, return true, otherwise return false.
+features: [BigInt]
+---*/
+
+assert.sameValue(1n <= Number.MAX_VALUE, true);
+assert.sameValue(Number.MAX_VALUE <= 1n, false);
+assert.sameValue(1n <= -Number.MAX_VALUE, false);
+assert.sameValue(-Number.MAX_VALUE <= 1n, true);
+assert.sameValue(
+  0xfffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffn <= Number.MAX_VALUE,
+  true);
+assert.sameValue(
+  Number.MAX_VALUE <= 0xfffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffn,
+  false);
+assert.sameValue(
+  0xfffffffffffff800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001n <= Number.MAX_VALUE,
+  false);
+assert.sameValue(
+  Number.MAX_VALUE <= 0xfffffffffffff800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001n,
+  true);
diff --git a/test/language/expressions/less-than-or-equal/bigint-and-number.js b/test/language/expressions/less-than-or-equal/bigint-and-number.js
index 8437b87be6b1e3623e074123a993a53090d5f202..c57c5a213f49064c360a82c9779afa7e46b308d3 100644
--- a/test/language/expressions/less-than-or-equal/bigint-and-number.js
+++ b/test/language/expressions/less-than-or-equal/bigint-and-number.js
@@ -20,17 +20,23 @@ info: |
 features: [BigInt]
 ---*/
 
+assert.sameValue(0n <= 0, true);
+assert.sameValue(0 <= 0n, true);
+assert.sameValue(0n <= -0, true);
+assert.sameValue(-0 <= 0n, true);
+assert.sameValue(0n <= 0.000000000001, true);
+assert.sameValue(0.000000000001 <= 0n, false);
+assert.sameValue(0n <= 1, true);
+assert.sameValue(1 <= 0n, false);
 assert.sameValue(1n <= 0, false);
+assert.sameValue(0 <= 1n, true);
 assert.sameValue(1n <= 0.999999999999, false);
-assert.sameValue(1 <= 0n, false);
-assert.sameValue(0.000000000001 <= 0n, false);
+assert.sameValue(0.999999999999 <= 1n, true);
 assert.sameValue(1n <= 1, true);
 assert.sameValue(1 <= 1n, true);
-assert.sameValue(0n <= 1, true);
-assert.sameValue(0 <= 1n, true);
-assert.sameValue(0 <= 0n, true);
-assert.sameValue(0n <= 0, true);
-assert.sameValue(1n <= Number.MAX_VALUE, true);
+assert.sameValue(0n <= Number.MIN_VALUE, true);
 assert.sameValue(Number.MIN_VALUE <= 0n, false);
+assert.sameValue(0n <= -Number.MIN_VALUE, false);
+assert.sameValue(-Number.MIN_VALUE <= 0n, true);
 assert.sameValue(-10n <= Number.MIN_VALUE, true);
-assert.sameValue(Number.MAX_VALUE <= 10000000000n, false);
+assert.sameValue(Number.MIN_VALUE <= -10n, false);
diff --git a/test/language/expressions/less-than/bigint-and-bigint.js b/test/language/expressions/less-than/bigint-and-bigint.js
new file mode 100644
index 0000000000000000000000000000000000000000..55c232d7c976bf67d33f1c83fd6f8cd5d2aae6ea
--- /dev/null
+++ b/test/language/expressions/less-than/bigint-and-bigint.js
@@ -0,0 +1,56 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of BigInt and BigInt values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+
+  sec-numeric-types-bigint-lessThan
+  BigInt::lessThan (x, y)
+
+    The abstract operation BigInt::lessThan with two arguments x and y of BigInt type returns true if x is less than y and false otherwise.
+
+features: [BigInt]
+---*/
+
+assert.sameValue(0n < 0n, false);
+assert.sameValue(1n < 1n, false);
+assert.sameValue(-1n < -1n, false);
+assert.sameValue(0n < -0n, false);
+assert.sameValue(-0n < 0n, false);
+assert.sameValue(0n < 1n, true);
+assert.sameValue(1n < 0n, false);
+assert.sameValue(0n < -1n, false);
+assert.sameValue(-1n < 0n, true);
+assert.sameValue(1n < -1n, false);
+assert.sameValue(-1n < 1n, true);
+assert.sameValue(0x1fffffffffffff01n < 0x1fffffffffffff02n, true);
+assert.sameValue(0x1fffffffffffff02n < 0x1fffffffffffff01n, false);
+assert.sameValue(-0x1fffffffffffff01n < -0x1fffffffffffff02n, false);
+assert.sameValue(-0x1fffffffffffff02n < -0x1fffffffffffff01n, true);
+assert.sameValue(0x10000000000000000n < 0n, false);
+assert.sameValue(0n < 0x10000000000000000n, true);
+assert.sameValue(0x10000000000000000n < 1n, false);
+assert.sameValue(1n < 0x10000000000000000n, true);
+assert.sameValue(0x10000000000000000n < -1n, false);
+assert.sameValue(-1n < 0x10000000000000000n, true);
+assert.sameValue(0x10000000000000001n < 0n, false);
+assert.sameValue(0n < 0x10000000000000001n, true);
+assert.sameValue(-0x10000000000000000n < 0n, true);
+assert.sameValue(0n < -0x10000000000000000n, false);
+assert.sameValue(-0x10000000000000000n < 1n, true);
+assert.sameValue(1n < -0x10000000000000000n, false);
+assert.sameValue(-0x10000000000000000n < -1n, true);
+assert.sameValue(-1n < -0x10000000000000000n, false);
+assert.sameValue(-0x10000000000000001n < 0n, true);
+assert.sameValue(0n < -0x10000000000000001n, false);
+assert.sameValue(0x10000000000000000n < 0x100000000n, false);
+assert.sameValue(0x100000000n < 0x10000000000000000n, true);
diff --git a/test/language/expressions/less-than/bigint-and-non-finite.js b/test/language/expressions/less-than/bigint-and-non-finite.js
new file mode 100644
index 0000000000000000000000000000000000000000..07e93fd7eb9cd1cc1e8b699797160d08731807c4
--- /dev/null
+++ b/test/language/expressions/less-than/bigint-and-non-finite.js
@@ -0,0 +1,31 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of BigInt and non-finite Number values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+    d. Assert: Type(nx) is BigInt and Type(ny) is Number, or if Type(nx) is Number and Type(ny) is BigInt.
+    e. If x or y are any of NaN, return undefined.
+    f. If x is -∞, or y is +∞, return true.
+    g. If x is +∞, or y is -∞, return false.
+features: [BigInt]
+---*/
+
+assert.sameValue(1n < Infinity, true);
+assert.sameValue(Infinity < 1n, false);
+assert.sameValue(-1n < Infinity, true);
+assert.sameValue(Infinity < -1n, false);
+assert.sameValue(1n < -Infinity, false);
+assert.sameValue(-Infinity < 1n, true);
+assert.sameValue(-1n < -Infinity, false);
+assert.sameValue(-Infinity < -1n, true);
+assert.sameValue(0n < NaN, false);
+assert.sameValue(NaN < 0n, false);
diff --git a/test/language/expressions/less-than/bigint-and-number-extremes.js b/test/language/expressions/less-than/bigint-and-number-extremes.js
new file mode 100644
index 0000000000000000000000000000000000000000..2819c99a3c70ef2a773ddaed0cfc67526604b17e
--- /dev/null
+++ b/test/language/expressions/less-than/bigint-and-number-extremes.js
@@ -0,0 +1,38 @@
+// Copyright (C) 2017 Josh Wolfe. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+description: Comparisons of large BigInt and Number values
+esid: sec-abstract-relational-comparison
+info: |
+  ...
+  3. If both px and py are Strings, then
+    ...
+  4. Else,
+    a. Let nx be ? ToNumeric(px). Because px and py are primitive values evaluation order is not important.
+    b. Let ny be ? ToNumeric(py).
+    c. If Type(nx) is Type(ny), return ? Type(nx)::lessThan(nx, ny).
+    d. Assert: Type(nx) is BigInt and Type(ny) is Number, or if Type(nx) is Number and Type(ny) is BigInt.
+    e. If x or y are any of NaN, return undefined.
+    f. If x is -∞, or y is +∞, return true.
+    g. If x is +∞, or y is -∞, return false.
+    h. If the mathematical value of nx is less than the mathematical value of ny, return true, otherwise return false.
+features: [BigInt]
+---*/
+
+assert.sameValue(1n < Number.MAX_VALUE, true);
+assert.sameValue(Number.MAX_VALUE < 1n, false);
+assert.sameValue(1n < -Number.MAX_VALUE, false);
+assert.sameValue(-Number.MAX_VALUE < 1n, true);
+assert.sameValue(
+  0xfffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffn < Number.MAX_VALUE,
+  true);
+assert.sameValue(
+  Number.MAX_VALUE < 0xfffffffffffff7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffn,
+  false);
+assert.sameValue(
+  0xfffffffffffff800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001n < Number.MAX_VALUE,
+  false);
+assert.sameValue(
+  Number.MAX_VALUE < 0xfffffffffffff800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001n,
+  true);
diff --git a/test/language/expressions/less-than/bigint-and-number.js b/test/language/expressions/less-than/bigint-and-number.js
index be67d29c94d7f7b781c240fd2436d34e2f9ad424..4af7764fd9ecd68ca83dceabdabe7c145179020f 100644
--- a/test/language/expressions/less-than/bigint-and-number.js
+++ b/test/language/expressions/less-than/bigint-and-number.js
@@ -20,17 +20,23 @@ info: |
 features: [BigInt]
 ---*/
 
+assert.sameValue(0n < 0, false);
+assert.sameValue(0 < 0n, false);
+assert.sameValue(0n < -0, false);
+assert.sameValue(-0 < 0n, false);
+assert.sameValue(0n < 0.000000000001, true);
+assert.sameValue(0.000000000001 < 0n, false);
+assert.sameValue(0n < 1, true);
+assert.sameValue(1 < 0n, false);
 assert.sameValue(1n < 0, false);
+assert.sameValue(0 < 1n, true);
 assert.sameValue(1n < 0.999999999999, false);
-assert.sameValue(1 < 0n, false);
-assert.sameValue(0.000000000001 < 0n, false);
+assert.sameValue(0.999999999999 < 1n, true);
 assert.sameValue(1n < 1, false);
 assert.sameValue(1 < 1n, false);
-assert.sameValue(0n < 1, true);
-assert.sameValue(0 < 1n, true);
-assert.sameValue(0 < 0n, false);
-assert.sameValue(0n < 0, false);
-assert.sameValue(1n < Number.MAX_VALUE, true);
+assert.sameValue(0n < Number.MIN_VALUE, true);
 assert.sameValue(Number.MIN_VALUE < 0n, false);
+assert.sameValue(0n < -Number.MIN_VALUE, false);
+assert.sameValue(-Number.MIN_VALUE < 0n, true);
 assert.sameValue(-10n < Number.MIN_VALUE, true);
-assert.sameValue(Number.MAX_VALUE < 10000000000n, false);
+assert.sameValue(Number.MIN_VALUE < -10n, false);