Sorry, fix was erroneous, reverting

Also, it seems that BigInt is final now. Will need to change BigIntMod
accordingly.