public static String printDigit(Digit digit) { return "" + digit.getValue(); }
public static Digit parseDigit(String s) { return Digit.fromValue(Integer.parseInt(s)); }