TeX source:

7.211916