What is 7.5 as a fraction?
$$7\frac{5}{10}=7\frac{1}{2}$$
$${\mathtt{7.5}} = {\frac{{\mathtt{15}}}{{\mathtt{2}}}}$$