I just tested the Heavys connected directly with the AUX cable to Apple USB-C --> 3.5mm DAC/Dongle that I have connected to my Windows 11 PC.
So when connecting directly to Apple dongle I can crank up the volume to max on windows and to ~ 95% on Apple music app and it sounds as loud to me that I could ever listen to
I didn't hear any distortion. I then powered on the headphones, so it uses the internal DAC and not much change in volume. So quite the same volume.
I then connected my Douk Audio U3 Mini to the Apple dongle and Heavys to U3. Now I can crank up the volume to insane levels and i'm nowhere not even halfway to max volume here.
Sure the Apple dongle gives maybe 15mW, the Douk Audio U3 Mini should give ~ 1000mW, so yeah there is a huge difference here. But in both passive and active mode the Heavys are insane loud when you have enough power on the amp.
Edit:
I also tested my another cheap and cheerful Chinese DAC/AMP AIYIMA DAC-A2. That is great little DAC/Headphone Amp I use on my gaming PC. It's supposed to give ~ 150mW of power and that is plenty for Heavys. I can turn up the volume to waay higher than I want (I want to keep my hearing).
That little device is also nice since it has Bass and Treble knobs so I can tweak the Heavys Bass a little and it sounds already much better with that.