High-level bindings to GNU MPFR library