TeX source:
3+62.500