Use 64-bit integer type for boxed pointers

uintptr_t worked on 64-bit systems, but failed miserably on
32-bit systems as it's only 32 bits wide there.