HASM : small fix of TokInt/TokImmInt for 1-digit numbers