What is 5.242 rounded to nearest tenth?