TeX source:
0.4\overline 5, 1.919293…, 3.59