(ISDIGIT): Define it.