Source TeX:
\log(5,31)=0,72509