numbers formatting is not consistent

[yegor256]

This code is not formatted right:

\begin{phiquation*}
[[
@ -> |c|.|plus|(
  32
)]]
\end{phiquation*}

The 32 is not \texttt.

[yegor256]

@rultor release, tag is 0.20.2

[rultor]

@rultor release, tag is 0.20.2

@yegor256 OK, I will release it now. Please check the progress here.

[rultor]

@rultor release, tag is 0.20.2

@yegor256 Done! FYI, the full log is here (took me 6min).