The call type(x, complexcons) checks if x is a complex constant. A complex constant is infinity, -infinity, or an expression (with no indeterminates of type name) for which evalf returns a number of the form  where a and b are floating-point numbers.