Bug in BigInt.divide fix