Efficient Python array with 100 million zeros?,a[i] += 1