New API
After a code-review by @caillou, we now use a new API with a getter function for every digit. Now the progress is actually only calculated when needed.
After a code-review by @caillou, we now use a new API with a getter function for every digit. Now the progress is actually only calculated when needed.