python count digits in int