Update MPFRFloat to use a precise sized mpfr_struct

As discussed in #2814. The function `sum` is disabled currently
(so the default one is used as a fallback), as it needs direct
pointer access to each of the members of the array.
Change default precision of MPFRFloat to 256 bits

As discussed in #2814