fix benchmark output with 3 decimals