TeX source:
83.99+58=?