var ALT_DIGITS: Int { get }