ExternalURL
実数体