2007-10-27 GMP OCaml なんか使えるようになったらしい。 MinGWもVisualC++も両方COFFなもので、MinGWでビルドしたlibgmp.aとlibmpfr.aを無理やりリンクしてgccから_chkstk.oだけ持ってきたらひとつの.dllにできちゃいました。