vli_is_negative
carry = vli_is_negative(r, ndigits);
carry = vli_is_negative(qc, ndigits);
while (vli_is_negative(r, ndigits * 2))