harmreal will use MPFR if possible, and push some of its code to PP