ip.py: put dots in ip digits