TeX source:
0.000000008