TeX source:
3.16\,\div~\,0.4\,=\,0.4\,\overline{\big) \, 3.16 }