add BigInt's modular exponent