Efficient implementation of int() function