int() vs eval() in python