native/src/seal/ckks.h (1 line):
	- line 498: // TODO: if values are real, the following values should be set to zero, and multiply results by 2.