Issue #328: fix logScriptPerformances() rounded value