[simonw]

Maybe they do have that optimization and that explains the 3.59 MiB peak memory usage for ~600MB of integers.