mysql workbench on 64bit Mac OSX
===

I need to insall mysql Workbench on a 64 bit Mac OSX, but there only seems to be a 32 bit at the download page: http://dev.mysql.com/downloads/workbench/5.2.html

Does anyone know if there is a 64 bit available?  Or is it OK to install the 32 bit version on a 64 bit Mac?

Many thanks in advance!