Comment by ebbv

Well, first off, you probably should change your SSH port. Using a non-default one will cause most automated attacks to move on to something else.

Second, using numbers is far more memory/bandwidth efficient than using strings for ports.

Last, there's no good reason to make the massive effort it would take to change it to strings.