TeX source:
\pi = 0.5