isdigit

The standard function isdigit provides the following interface:

fun isdigit = (uint<8> c) int<32>

it returns 0 when the given ASCII character c is not a decimal digit, otherwise it returns a non-zero value.