TeX source:
0.8708