TeX source:
T = 6.518