string query_ip_number( object ob );
Return the ip-number (dotted decimal form) for player `ob'.
See also: query_ip_name , query_host_name , resolve , socket_address
Beek @ZorkMUD, Lima Bean, IdeaExchange, TMI-2, and elsewhere