Added helper function to_int_type() to fix the conversion problems from char_type to int_type. The helper uses std::char_traits when available. A workaround for platforms where no std::char_traits is available is provided as well. The workaround is triggered by the define BOOST_SPIRIT_NO_CHAR_TRAITS.
Markus Schöpflin