Fix for case when intptr_t is not one of int32_t or int64_t