Added reification of the integer values