Yes, of course.  I only meant that if we standardized on `char_u` you wouldn't need to cast twice (as you did in your example).

FWIW, unless there is some compelling reason to use `char_u`, I'm very much in favor of using `char`.