Question about editing mp3 files?

Does Dexster edit them in native format?
Or does it first convert them to wav, you edit them, and then convert them BACK to mp3?
Or does it first convert them to wav, you edit them, and then convert them BACK to mp3?