X86_64 support in the cards?

Love the work y'all are doing. Its a criminally understar-ed repo. 
Unfortunately for me, most of the software I look at these days is 64 bit.
Is that on your roadmap?

Also, would love to pick your brain about using ocaml. I know it has historic ties to the research community but im curious if it has some secret sauce that im not aware of.