Support deserialization of int[] #7
Description
Although int arrays can be serialized, they can't yet be deserialized; mostly because flexible arrays (int array builder) don't exist in JDK. So just need to figure out minimal but non-wasteful way of building such arrays; ideally for other primitives as well.