I am looking for a reference to the fact that $\mathbb{Z}$ is conservatively embedded into the field $\mathbb{C}$ of complex numbers, that is anything in $\mathbb{Z}$ which is definable in $(\mathbb{C},\mathbb{Z},+,\times)$ is already definable in $(\mathbb{Z},+,\times)$

I am looking for a reference to the fact that $\mathbb{Z}$ is conservatively embedded into the field $\mathbb{C}$ of complex numbers, that is anything in $\mathbb{Z}$ which is definable in $(\mathbb{C},\mathbb{Z},+,\times)$ is already definable in $(\mathbb{Z},+,\times)$.