TeX source:

8.0 \times 10^{13}