TeX source:

=\dfrac{80}{32}