DirectedInfinity
Constants
DirectedInfinity[
z
]
Complex characteristics
Real part (2 formulas)