`x` not real is exactly when `sqrt(x**2)` is *not* equal to `abs(x)`.