Существует ли 64-разрядная версия MySQL для Windows?

На странице загрузки MySQL доступны загрузки только для "Windows (x86, 32-разрядная версия)" https://dev.mysql.com/downloads/installer/

Однако верстак MySQL, похоже, 64-разрядный, в нем написано "Windows (x86, 64-разрядная версия)": https://dev.mysql.com/downloads/workbench/

Я хотел бы избегать 32-разрядного программного обеспечения, если есть 64-разрядная версия, и я не хочу иметь дело с любыми проблемами, которые могут возникнуть при использовании 32-разрядного MySQL с 64-разрядным верстаком MySQL, поэтому я было интересно, есть ли какой-либо способ получить 64-разрядную версию MySQL в Windows?