Question: What is the proper way to convert ip to integer in php?