Multiple-precision floating-point interval library - View it on GitHub