Use native_int not other types for Tuple sizes