Ensure that the port is an integer