>>33213980No, that's the standard music format for the 3DS, and it's just a converted wav. Oh, and most of them are compressed; they aren't actually lossless or they would take way more space than needed.
>>33214120GF does use "midi" (which is a term that has lost its meaning because of retards, but whatever) to compose the music, but they use VSTs to have a higher quality sound, and even then, their instruments come from like fucking 2008 and from the default plugins that come with Cubase, which explains why the battle theme pianos sound like shit. They haven't bothered to use newer and higher quality libraries.