add PTInteger to keep track of/evaluate ints