**Fast Time conversion**
I'm trying to write a very fast time-to-string and string-to-time function.
I noticed that on low CPU mobile devices this function has, even if minimal, impact on the performance of the overall canvas animation.
**Milliseconds to Time string (HH:MM:SS.mss)**
In this function: is there a shorter & faster way to pad the numbers?
function ms2TimeString(a,ms,s,m,h){// time(ms)
return ms=a%1e3|0,
s=a/1e3%60|0,
m=a/6e4%60|0,
h=a/36e5%24|0,
(h>0?(h<10?'0'+h:h)+':':'')+ //display hours only if necessary