Arduino due - 32 bits ?

Using Arduino Audio
18

I just hope it isn't too expensive, now with the Raspberry Pi filling eBay and such...