Now it no longer assume the higher 16 bits of a ref are either all 0s or
all 1s.  The layout of bits of tabref64 is changed, but is not visible
to the client.