If R is a ring, and M an R-module, we write G(M) for the submodule of elements m such that Rm is finite. We describe the higher derived functors of G with attention to special cases like where R is a PID. We use these functors and an appropriate spectral sequence to describe the complex K-theory of homotopy inverse limits of spectra |