"David G. Johnston" <david(dot)g(dot)johnston(at)gmail(dot)com> writes:> Didn't notice any obvious numeric equalities using > 1,275,138
I've committed a patch for this. Thanks for all the legwork!
regards, tom lane