Fix doc string of INTEGRAL-LENGTH
Rename INTEGRAL-LENGTH to DIGIT-COUNT. Fix the definition.

Thanks to stassats for finding the bug.