pub open spec fn is_numeric_string_char(c: char) -> bool
{ c as u32 == 0x20 || (0x30 <= c as u32 && c as u32 <= 0x39) }