Fixed #60 -- Always cast the token to an int before verification