This is a port of the GNU MultiPrecision library of C arbitrary-precision arithmetic routines to IA-64, with a focus on efficient (assembly) IA-64 routines for mul_basecase.c and sqr_basecase.c
A syntax extension to ease the writing of efficient arithmetic expressions in OCaml. The development moved to OCaml Forge: http://forge.ocamlcore.org/projects/pa-do/