Assertion list for term "imaginary part".

Results from Ascent++: 1
complex number HasAimaginary part 0.64