[ADT] Update PointerIntPair to handle pointer types with more than 31 bits free.