What is 9.725 rounded to the nearest tenth..