Add char.det_digit_to_int/1 to the library.

library/char.m:
	As above.

NEWS:
	Announce the addition.