TeX source:
3.16\,\div~\,0.4\,