TeX source:

0.873450476