I don't believe this is a major issue for most people.
I don't think I've ever launched the 64-bit version of IE on my 64-bit machines (the default is the 32-bit version), and AFAIK, every other browser is 32-bit, so I don't think many people are running into this.
Why do you need to run a...