The built-in display for counters that have negative values pads the 0s badly. e.g. `<+dddd>` with a value of -10 `=> "0-10"` instead of `"-0010"`
The built-in display for counters that have negative values pads the 0s badly.
e.g.
<+dddd>with a value of -10=> "0-10"instead of"-0010"