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