[yuhong]

Actually, IE has had 32-bit and 64-bit version since the beginning of 64-bit Windows, originally as separate items on the start menu.

[mixmastamyk]

Yep, I used it a few times on 64-bit XP in 2003ish.