2826a6f Revert "Modify BigInts due to the bug in FF linter"

Authored and Committed by Libor Polčák 3 years ago
    Revert "Modify BigInts due to the bug in FF linter"
    
    This reverts commit 9a47f7517c9af5b6eb4bb9ceea8ade949eccc2a9.
    
    AMO no longer fails to accept the original syntax.