There is a DAC from Digital Audio Denmark called the AX24 that appears to handle all of these formats, but it is very expensive, and the interface seems to be very complicated. At the high price, there is no driving force for such a purchase. If a lower-priced device existed, then that would be interesting.