In fact, they usually use 172.10.x.x on their PtP address...
What's enormous about an IPv4 /12? :)
When the German army requested an allocation of IPv6 address space, they were given a /28, but complained that 2^100 IPs is not enough for them and they actually need a /22.
Did they want each bullet to have a /64?