optimised_animated_digits_widget library