Adding decimal place for time saved stats #7489

Merged
merged 1 commit into from Mar 11, 2017