Add support for port numbers as integers

These are allowed to be ints too, not just strings, so cast to a string before joining.