>> Will be better to change FixedIntegerArray to implement elements by >> calling get_integer? And then use get_integer in all relevant places >> in ResizableIntegerArray? Looks more clear to me to get the value with >> get_integer and set it with set_integer_native. > > Yes, that's definitely better.
Done in r31361 (fixed) and r31362 (resizable). -- Salu2