aern2-mp-0.1.0.1: Multi-precision floats via MPFR