Function is_numeric_string_char 

pub exec fn is_numeric_string_char(c: char) -> bool

returns

c == ' ' || ('0' <= c && c <= '9'),

NumericString permits space and ASCII decimal digits.