TeX source:

5+12.43=?