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