Rename get_real_byte to get_digit; improve comment