[PATCH 09/12] Implement IP.len operator for ip address type.