I've added a Windows 32 build now. The avrtools seem to work underneath it, so I don't know if there's really a 32/64bit difference on the tools themselves. The IDE and it's version of Java are now 32 or 64 bit depending on which zip you download. Please try it out. Thanks!
http://hudson.joshy.org:9001/job/ArduinoX/lastSuccessfulBuild/artifact/dist/