[Bug 8333] NAME 'internationalISDNNumber' (RFC 4519)