from https://git.launchpad.net/ubuntu/+source/ocaml-num - View it on GitHub