Source TeX:
\log(9)=0,9542425