On 16/01/2008, at 2:41 AM, Tom Lane wrote:>> You definitely should not expect to convert the names to integers.
Presumably you can convert them to 96 bit integers? i.e. they are always strings of hex characters?
Tom