I'd like to use a "chronometer" object instead, that allocates a high precision timestamp (e.g. 64 bit int) upon creation, and returns the time elapsed since creation or reset as a single precision float (hence avoiding memory allocation after object creation).
Before cooking up something random, I'd appreciate comments:
- Does such a thing exist already in Micropython? (There is 'Chronometer' for CPython on PyPi).
- If not, what would be a good API?