TeX source:
0.875+6.4