TeX source:

7.0888