adding switch WJE_DISTINGUISH_INTEGER_TYPE