std:std.stringio.IsDigit
checks if a character is a decimal digit.
Returns true if ch is '0'-'9'.
ch
chr