You can also use an USB sound card, there's no need for a HAT/GPIO solution. Any card that advertises Linux support should work.
For a HAT solution, I think any of the DACs sold by the RPI folks directly might fit the bill - see https://www.raspberrypi.com/products/.
Contributions to the project are always appreciated, so if you would like to support us with a donation you can do so here.
Hosting provided by Mythic-Beasts. See the Hosting Information page for more information.