update is-int() function