Arduino 0013 released.

I'm curious. Don't 32bit binaries usually run on 64bit linux? What's the point in a 64bit Arduino binary? "amd64" means compiled for the AMD64 ABI, not specifically for an AMD cpu, right?