I would like you guys to be aware of the "Enhanced Protected Mode" that comes with IE10. Basically "Enhanced Protection Mode" forces IE10 to go to pure 64 bit. Previously there was a separate "64 bit" entry for Internet Explorer 9 in the start menu. Starting with IE10, there is only one and the switch between 32 bit and 64 bit can be made by switching on Enhanced Protection Mode.
[edit: Fixed posting error.]