TeX source:

12.5 \pi