JS: remove dead code for old integer-gmp

Merge request reports

Loading