TeX source:
12.00000061