ComplexInfinity
Constants
ComplexInfinity
Complex characteristics
Real part (1 formula)