switch to another ISP, it isn't as if ISPs are thin on the ground.
I have a few options, but AFAIK a lot of Americans do not (I do not live in the US). Even for me, since I live in an individual house it would be expensive o have another ISP get its fiber cable to me.
You _can_ allocate networks smaller than a /64, but you can't use SLAAC on such networks. That means you're stuck manually configuring devices or using DHCPv6
That's good to know, though it would mean that if I use Android devices I will have to type in the long v6 IPs even though IPv4 has shorter IPs AND DHCP works with all devices.
Though since I would still need NAT (for keeping the IPs when switching to a backup ISP), I guess that is not such a big problem and AFAIK NAT exists for v6 (though not one-to-many as I understand, so I would need a proxy server to make all outgoing connections look like they are from a single device).