> But, in trying to compile ocaml-3.08.3, "make world" dies with:
> [...]

You could take otherlibs/num/bng_ia32.c from the 3.08.4 distribution.
Equivalently, apply the attached patch to your 3.08.3 sources.

- Xavier Leroy