Default port number for http or https is not Opera or Sony specification.
Opera follows corresponding web standards, so by default:

http it's always: 80 https is always: 443

See also: https://en.wikipedia.org/wiki/HTTPS#Difference_from_HTTP