Orthocompletion of Lattice Groups