On Nov 5, 2013, at 3:15 PM, Martin Ward wrote: > mpfr 3.12 has small amount of bugs, arch has a patch for them http://www.mpfr.org/mpfr-current/allpatches Would this be the patch we want to use? It looks like it is for 3.1.2 from current. Sincerely, William Harrington