TeX source:

(1+0.7)+0.3= \text{________}