port numbers should always be interpreted as decimal