No. AA offer native IPv6 straight over PPP, with no overhead and no tunnelling, it's just like the way IPv4 is delivered over DSL. There is simply a conversion server that converts the traffic, and also some tricky business with DNS which lies about the non-availability of AAAA records on IPv4-only servers.