add integer encoding for ipv4 addresses