Algebra and topology on the Dedekind completion of a totally ordered abelian group

For a totally ordered abelian group G we describe its order completion G#, both as a G-module and as an ordered semigroup. We determine all G-module maps G#→G# and all complete submodules of G#.