Does this need a cast to `intptr_t` to compile on a 64-bit system?