Convert ports to ints.