Using the method is_ascii_digit on a char is about 17% slower than using is_digit(10). I wouldn't expect there to be a difference, of if there was, I would expect the former to be faster. Could this be improved or are the two not actually equivalent?