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

Index - =

=~=AERN2.MP.UseMPFR.Float.Tests, AERN2.MP.UseMPFR.Float