@random-task:matrix.org Just skimmed this doc.

> In addition, maybe integers-only as too limiting, as exotic types like `Wrapper(u32)` should be available.

I think that's a good point; it's important to be able to represent counters of widths other than those available through Rust's integer types. I assume that's the purpose of at least some of these "exotic types"? In that case, it's also worth thinking about an explicit API to get a left-justified representation of those counters, and an appropriately shifted frequency measure. We've recently had some trouble with 24-bit timers, and adding special types to represent arbitrary bit-widths and a "left-justify" API can prevent these issues: https://github.com/tock/tock/pull/3975