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

Index - +

+.AERN2.MP.UseMPFR.Float.Operators, AERN2.MP.UseMPFR.Float
+^AERN2.MP.UseMPFR.Float.Operators, AERN2.MP.UseMPFR.Float