Make sure the BigComplex numerics work