Determines the numeric value of a character as a decimal digit.
Differs from digit_value because it takes a char, so there's no worry about sign extension if characters are signed.
| c | an ASCII character | 
| If  |