AERN2.MP.UseMPFR.Float.RoundedAdaptor