Hi there, Any plans to implement `machine.Timer` class that might be beneficial for, e.g., uniform data sampling, DSP, etc.?