implement full IPv6 numeric expansion in addr_string