Be less pessimistic about PHP memory-hungriness

Before we used just 1M ints to cross the 128MB threshold, this turns
out not to be enough in some systems (read: mine).