Matthew Kirk <mkirk01(at)rcn(dot)com> writes:> But I can't find documentation that tells me whether I need to dump/restore when just moving from 32 bits to 64 bits...
Yes, you do.
regards, tom lane