Minor changes to divi in BigInt.