i couldn't download the dev manual, but got lucky doing a search of their website. there was no reference to '64 bit' in it. here's link: