support for expectation value, added an exact symbol which indicates whether the result is exact