inline int make_char_numeric_for_streaming(char c) { return c; }
inline int make_char_numeric_for_streaming(signed char c) { return c; }
inline int make_char_numeric_for_streaming(unsigned char c) { return c; }
+inline int make_char_numeric_for_streaming(wchar_t c) { return c; }
#endif
#if (defined(_GLIBCPP_VERSION) || defined(_GLIBCXX_VERSION)) \