Digispark ATtiny85 micro USB module

Took a while to find a TM1637 library that works with Digispark ATtiny85.
DigitalTube library does:

Hermann.