Comment
Comment by Youden
It's pretty straightforward. On the router (assuming a recent Debian-based distro):
On a box behind the NAT:
If you want DNS64, 1.1.1.1 and 8.8.8.8 offer 2606:4700:4700::64 and 2001:4860:4860::6464 respectively or you can configure unbound pretty easily.