remove is_reduced_mpf* (not proven)