26int32_t getNumDecimalDigits(uint32_t number);
27void intToString(int32_t number,
char* buffer, int32_t minNumDigits);
28void floatToString(
float number,
char* __restrict__ buffer, int32_t minNumDecimalPlaces, int32_t maxNumDecimalPlaces);
29void slotToString(int32_t slot, int32_t subSlot,
char* __restrict__ buffer, int32_t minNumDigits);
30uint32_t fastTimerCountToUS(uint32_t timerCount);
31uint32_t usToFastTimerCount(uint32_t us);
32uint32_t msToSlowTimerCount(uint32_t ms);
33uint32_t superfastTimerCountToUS(uint32_t timerCount);
34uint32_t superfastTimerCountToNS(uint32_t timerCount);
36void delayMS(uint32_t ms);
37void delayUS(uint32_t us);