Don't forget Microsofts x86_64 emulation, which does the heavy lifting in your case.