Is there any chance of doing an audio encoding (mp3/ogg/similar) task on the new teensy 3.5/3.6 directly seeing that they now do have an FPU? I need to compress recorded audio in order to send it over a low throughput wireless connection. Other option would be to use a shield like the Adafruit "Music Maker" MP3 Shield for Arduino (MP3/Ogg/WAV...) (https://www.adafruit.com/product/1790) but this would complicate things.
Thanks for the info.