The Zariski-closure of the image of an algebraic set under the coordinate-wise complex exponential map is a finite union of torus cosets, which makes the study of solutions to polynomial equations in roots of unity tractable. We give a similar (necessarily more complicated) description for the Euclidean closure via a study of compactifications of definable groups arising from mathematical logic. (Joint with Spencer Dembner)