gmp: release +