As an ISP'll end up with collisions with their customers if RFC1918 space is used for their intermediary/ISP portion of NAT444, a new /10 (specifically 100.64.0.0/10) was allocated for this use. RFC6598 details the allocation, and the use cases for it.