Report time up to one digit after decimal point.
Fix script.