Oh! That's interesting, I'm not sure I knew they existed. Mine is dual core and quite fast (for the time) but definitely 32-bit only.

Maybe I should look for a fancier one, if only to pick up the motherboard and CPU from. I imagine they're quite similar in terms of performance, but the extra compatibility would be nice.