TeX source:
0.4/\overline{3.16}