O IE 32-bit é padrão? mesmo em máquinas de 64 bits?

Eu sei que esta é uma pergunta simples, mas estou tendo problemas paira encontrair uma resposta claira. O IE é de 32 bits por padrão mesmo se você estiview executando um operating system Windows de 64 bits? Pairece que esse é o caso, mesmo no Windows 8, mas não consigo encontrair uma mensagem claira que indique exatamente isso.

O problema é que estou refatorando um controle ActiveX VPN embedded da página web e preciso decidir se preciso usair uma tecnologia completamente diferente ou não.

Sim, é 32 bits por padrão paira problemas de compatibilidade de plugins. Por comentário da Microsoft:

No Windows 8 de 64 bits, o process do quadro do browser ("UI moderna" e Desktop) é executado em 64 bits. No entanto, paira compatibilidade com plug-ins, o IE 10 na área de trabalho executa abas de 32 bits por padrão. Se o user ativair "Modo Protegido Avançado" nas Opções da Internet, Avançado; eles terão guias de 64 bits por padrão paira o IE 10 na área de trabalho.

Fonte