La extensión 64 bits de la versión 32 bits se llama Win64.