to_char_type
Used to convert to a char type from an int_type
static char_type to_char_type (const int_type&);