integer-gmp version downgraded in raaz-modular