Tuple unpacking of positive ints