Moved integer IP code into a separate branch.

After merging this, please do a `git push origin dennis/integer-ips-for-users:refs/heads/integer-ips-for-users`.