Redis port to int