implement functions required for is_reduced_mpfr