Re: Review Request: BigInteger patch for efficient multiplication and division (#4837946)