This module defines instances Num, Real, Fractional, Floating and RealFrac of MPFR. Operations are rounded with RoundMode Zero and computed with maximum precision of two operands or with the precision of the operand.