I emailed Aqua and they confirmed that the Formula does convert DSD to PCM internally. They tried different solutions for DSD playback and determined that the best sounding solution was via DSD to PCM conversion.
Does anyone know how the Formula decodes DSD since it is a ladder DAC? Does it convert DSD to PCM internally or does it actually have some sort of on board DSD decoder?