the port should always be an integer
Merge pull request #5 from dmathieu/real_integer_port

Always make the port an integer