What is 9 1/2 as a decimal?