TeX source:
\frac{0.8}{2} = 0.4