Some work on PackedInts, more to go