CHR.DIGIT(c) ! Char => Num
Return TRUE, if 'c' is a decimal digit (in the range '0'...'9'). Otherwise return FALSE.