More pythonic PublicToIp6_convert