https://tools.ietf.org/html/rfc6598 https://en.wikipedia.org/wiki/Carrier-grade_NAT
Apparently 100.64.0.0/10 was set aside for ISP NAT so we can assign a WAN address that was guaranteed not to collide with anybody's LAN address. Am I the last one to notice?
