TeX source:
12.5 \pi