removed: unused references to gmp_output_digits