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

Index - -

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