ExternalURL
代数的整数