Port number after domain

[nckrwlmn]

I see you can add a :port number to the domain name when adding a proxy host. Is this a supported option or a required option? I also see that it doesn't check if it's a valid port number. (9763858 for example)
Do I have to put a port number there? Will it default to port 443 if I don't?