TeX source:
2^{-53}