TeX source:
a \approx 2^{160},