Fix ccross handling of int widths for Ty