here it is bob3160. So this means that running 64-bit OS you get 32-bit IE11 right?
When I had IE10 I can open up IE10 in 64-bit as well. The current one was 32-bit. Opening IE10 in 64-bit opens up a new top across the taskbar? I also was able to go to program files (not program filesx86) click on IE and open the main file of IE10 and I click about IE10 and it showed 64-bit somewhere in IE10 can’t remember where it was shown.

As for IE11 that I have now. If i go to both Program Files and Program Filesx86 and click IE program and I click About it doesn’t show 64-bit of IE11 for both of them.