Time notation with milliseconds

Dear forum,
maybe I overlooked it but couldn’t find anything about milliseconds…
Is it possible to format time() so that I also can see milliseconds? (mm:ss:ms)?

My goal is to measure the duration of code or functions that I write.

Just curious why timing Tinderbox functions down to the millisecond – something not normally perceptible – matters.

(Not disregarding the request, just wondering about its value overall to the community.)

Maybe it’s overkill but my thought where that it would be nice to see the exact difference in duration when developing an efficient function.

1 Like

I don’t think so. I’ll look into it.