Fix formatting of floating point values in stats file