[immibis]

You can totally subnet from /64, you just can't use SLAAC. The packet header doesn't care about your address allocation scheme.

At the same time SLAAC is the reason your ISP doesn't give you a /128.