realPart
realPart z
-- return the real part of a complex number z.