Handle uintptr_t slightly better in C conversion