char.isascii() returns true, if the character is an ascii character, i.e. it's ord is between 1 and 127.
