Remove precondition in digit shifting for integers between 0-9

With mod arithmetic this check is unnecessary