Bugfix: ComplexWithDouble.ZERO was cached but it is mutable