using wjelement switch WJE_DISTINGUISH_INTEGER_TYPE