Use simple C++ implementation of CountDecimalDigit32()

It is found that it is even faster than the original implementation in
this application due to distribution.