[python] python int( ) function