9.542 is greater than 9.532.