#12631 fix (of std.string.isNumeric() )