Closed
Description
Current implementation starts using paged arrays when the size of the array is
greater than the size of a page. This means that if an array has a length of
${page_size}+1, it will use two pages, wasting about half of the memory.
I think this behavior should be symetric when the size is less than the page
size but higher than half of the page size. This means that we would start
reusing memory at ${page_size}/2 instead of ${page_size}.