[ip-address] What is the total amount of public IPv4 addresses?