TeX source:
z=3.12