2826a6f
Revert "Modify BigInts due to the bug in FF linter" This reverts commit 9a47f7517c9af5b6eb4bb9ceea8ade949eccc2a9. AMO no longer fails to accept the original syntax.