Use isdigit instead of isdecimal
Use isdigit instead of isdecimal

The latter is not available in Python 2. While isdecimal is technically more
correct (isdigit will match certain Unicode characters), it doesn't matter
because they wouldn't be tokenized as NUMBER anyway.

kaushik94/sympy,kaushik94/sympy,kaushik94/sympy