See ComplexNumbers.