Rounding

[lrweck]

Hey!

More nitpicking! 😅

Rounding to 1.0, especially on large numbers, makes it look like "out by a factor of X" is relevant.

Maybe when it's close to 1% difference it can tell that statistics are accurate for the expected execution.

[mchristofides]

Thank you! Not nit-picking at all, we'll improve the wording here. Since it will round to 1.0 for anything within 5%, we'll probably use that as the threshold!

[hairybreeches]

Agreed, this is not nitpicking at all - very useful feedback. I'll get on it after finishing #18

[hairybreeches]

I've updated this to say "accurate to within 5%" instead of "out by a factor of 1.0". You can check it out on node #2 on example 1:

This fix was added in commit 335370da82c65a60f4c7defa6f2df3ecf644b7a2, deployed at 14:31 15/10/2019