TeX source:

3.5 \pi