# MPFR options