Cast mongo port setting to int.

Just in case the port setting is passed in as a string.