e2πi is an integer