The model theory of the field of reals with a subgroup of the unit circle