public boolean isLatinDigit(int c) {
        return Character.isDigit(c) && isLatin(c);
    }
Returns true if this is a latin digit (other digits are not consistently parsed into numbers by Java)
linguistics/src/main/java/com/yahoo/language/process/CharacterClasses.java