Existe-t-il une version 64 bits de MySQL pour Windows?

Sur la page de téléchargement de MySQL, il n'y a que des téléchargements pour "Windows (x86, 32 bits)" https://dev.mysql.com/downloads/installer/

Cependant, MySQL Workbench semble être 64 bits, il dit "Windows(x86, 64 bits)": https://dev.mysql.com/downloads/workbench/

Je voudrais éviter les logiciels 32 bits s'il existe une version 64 bits, et je ne veux pas traiter les problèmes qui pourraient survenir avec l'utilisation de MySQL 32 bits avec MySQL Workbench 64 bits, donc je vous vous demandiez s'il existe un moyen d'obtenir une version 64 bits de MySQL sous Windows?