x = [99999999999999999999999999, -(2 ** 53 - 2)];
res = [0, 2 / 3];
for (let i = 0; i < 2; ++i) {
    assertEq((x[i] | 0) / 3, res[i]);
}