912776: Cast proxy port to an integer.