python character is digit