len for integers python