$instok(100,100,999,46) would be more identicle to $addtok (minus the dont add if duplicate), 999 since that well always make it the last element.
* i mean this for real examples of course since you could just got 100.100 for the above smile