TeX source:
83.6 \times 85.5=7147.80