Hi Akim, > I have used the format you suggested to display the times.
Thanks, looks great, and support programs that terminate in < 0.1 seconds. > I’m not sure we should specify the resolution, it kinda of is displayed > by the figures themselves It's good enough like this. The actual resolution might vary a bit depending on the OS and whether the machine is virtualized or not (but who wants to do benchmarking in a virtual machine anyway). The number of decimal places is approximately right, and it will take a couple of years until we need to adjust this choice. Bruno
