TeX source:
3.54+8.47=?