TeX source:
\dfrac{8+9}{2}=8.5