TeX source:
\dfrac{25}{8}=3{,}125