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