Device->get_ips_from_all: work with IP addresses, not their decimal variants.