Na página de download do MySQL, há apenas downloads para "Windows (x86, 32 bits)" https://dev.mysql.com/downloads/installer/
No entanto, o MySQL Workbench parece ser de 64 bits, diz "Windows (x86, 64 bits)": https://dev.mysql.com/downloads/workbench/
Eu gostaria de evitar o software de 32 bits se houver uma versão de 64 bits e não quero lidar com nenhum problema que possa ocorrer ao usar o MySQL de 32 bits com o MySQL Workbench de 64 bits, então eu queria saber se existe alguma maneira de obter uma versão de 64 bits do MySQL no Windows?