fn div_rem_core(a: BigUint, b: &[u64]) -> (BigUint, BigUint)
An implementation of the base division algorithm. Knuth, TAOCP vol 2 section 4.3.1, algorithm D, with an improvement from exercises 19-21.