Fix #64749 (warning: cast from pointer to integer of different size)