pub fn div_rem_digit(a: BigUint, b: u64) -> (BigUint, u64)