Flint: Use axis decimals to adapt the spec statistics display
Closes #2342 (closed) #3989 (closed)
This PR rework a bit the displayed statistics to
- Use the axis
decimals
to properly display the values - Rework as async greenlet to not interfere with the display
This could be rework using existing thread pool in the future if it is not enough.