PHP - ip and bigint converter