TeX source:
1.3+10.7=12