Hannu Krosing <hannuk(at)google(dot)com> writes:> Yes, this should say average
OK, I tweaked that and increased NUM_DIRECT to 10000,along with a couple of nitpicky code improvements.
regards, tom lane