Let say Z is a sum of n-roots of unity and thus an algebraic integer, and D is an rational integer. If |z+D| is an integer, what can we conclude regarding Z? can we say |Z| is integer? Another related question is, for which non-zero D, we can conclude |Z| is integer from the given that |Z+D| is an integer?