32 Bit Microcontroller

Hey!
I'm back here after long time :slight_smile:
Just wanted to know in a hurry that is there any board of Arduino having 32 bit Controller?

Currently: "Maple" (ARM) and "ChipKit" (MIPS)
"Soon": Arduino Due.