https://123dok.net/document/y4wkdgl0-implementing-interval-computation-library-ocaml-x-amd-architectures.html