Libraries anvil char DECIMAL_DIGIT_NUMBER