void adjustRemainder(BigDigit[] quot, BigDigit[] rem, const(BigDigit)[] v, ptrdiff_t k, BigDigit[] scratch, bool mayOverflow = false)