integration1d v0.4.1 (using oasis2opam)