Allow casts between integers and pointers