Update utils.inc.php

avoid unicode decode overhead when the token is known to be numeric