avoid deprecation warning in converting UTFxxString to equal-sized integer types