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

Index - =

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