No assouktamente, non serve....semplicemente perchè di per se ogni carattere ha un valore...
Credo che basti fare un casting verso int, oppure la stampa con printf("%d") di un carattere....