Modified to use multiply_to_len for bignum_mul.