TeX source:

> 2^{32}