simplify _fmpz_demote_val