Phase 3 entry requirements:

• Test suite has been updated to cover the feature in its forked repo.
• The test suite should run against some implementation, though it need not be the reference interpreter.
• Formal notation in the spec need not be updated

During this phase, the following proceeds in parallel:

Embedders implement the feature.

• The forked repo is updated to include revisions to the formalization.
• The forked repo spec is updated to include implementation of the feature in the reference interpreter.
  • Sven: does not apply.
• The feature is implemented in toolchains.
  • Sven: this doesn't apply to this proposal, brower behavior and polyfilling is difficult.

Implementation

• v8 basic implementation
• SpiderMonkey basic implementation

Notes

• Sven: Allow passing non-bigint values to I64 parameters #12 can be an addition to the spec