make the special token Int usable