number_of_digits
int exp_digits = number_of_digits(factor_size + 2, DIGIT_SIZE);
assert(out_len >= number_of_digits(in_bitsize, DIGIT_SIZE));