Own dev branch for OCaml's Archimedes library