I was looking for a 32 bits Arduino and I bought a chipKIT UNO32 just before the Due was announced.
The chipKIT UNO32 brings lot of processing power at 80 MHz, space with 128 kB, many
IOs and 2 hardware serial ports, for a price close to the Arduino UNO.
The IDE is based on the same standard Processing IDE and can handle both Arduino and chipKIT boards.
I'm glad I haven't waited for the Due!