TeX source:
4.5 \pi