* device/lib/printf_large.c (output_digit, calculate_digit): optimized,