I'm not sure that's true. Couldn't it just automatically broadcast your server's current correct IP to all servers it federates with each time it (the IP) changes (and if a server fails to find a federated server by the most recent IP in its records, have it query other federated servers for a more up to date IP.)