AERN2.MP.UseMPFR.Float.Operators

(+^)

(-^)

(*^)

(/^)

(+.)

(-.)

(*.)

(/.)