Besides, we've already got a solution to maintain IPv4 connectivity from IPv6-only networks anyway, DNS64 and NAT64. There's literally an entire /96 subnet in the IPv6 address space dedicated to this task, 64:ff9b::/96.