renamed ISDIGIT to INT_FROM_DIGIT and some other formatting