The spec on this is at http://url.spec.whatwg.org/#dom-url-host and says:
If url is null, return the empty string.
If port is the empty string, return host, serialized.
Return host, serialized, ":", and port concatenated.
So what is port in this case? That's defined at http://url.spec.whatwg.org/#port-state and the key step is: 2. If buffer is equal to url's scheme's default port,
set buffer to the empty string.
So IE is wrong and the MDN documentation is misleading. I've fixed the latter; can't do much about IE. ;)