conj (1) == 1 && conj (i) == -i && conj (1+i) == 1-i && conj (1-i) == 1+i
