char_type_digit/1

"char_type_digit( Char " )

Holds true if Char is a character between '0and'9'`.