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/.