geogram multi-precision pluggable software module - View it on GitHub