More gmp-depping