The generated Dart code for ANTLR grammars, when targeting web platforms, can produce integer literals that exceed the maximum safe integer limit in JavaScript ($2^{53}-1$). This leads to runtime ...