TeX source:

87.6148