lockstat: fix numerical output rounding error