When I go to the URL you listed, it says it will download IE 9 64-Bit version
If you look more closely, I think you'll find that "it will download" the Windows 7 64-bit version (which will include IE9 32-bit & IE9 64-bit).
If it's a Win7 64-bit computer, you have two versions of Internet Explorer: IE 32-bit (the default) and IE 64-bit.
The executable for IE 32-bit is located here:
C:*Program Files (x86)**\Internet Explorer*iexplore.exe
The executable for IE 64-bit is located here:
C:*Program Files*\Internet Explorer*iexplore.exe*
See this "sticky" for more details & info about IE 32-bit vs. IE 64-bit on a Win7 64-bit computer: http://answers.microsoft.com/thread/babaa5f8-ff06-4ea2-aef6-a9416d65f981
Welcome to the wonderful world of 64-bit computing!