Fix 'tokens not allowed' warnings when building PDF.
[rand] Use modern spelling of \frac and \binom to remove LaTeX warning.
[toc] Make room for page numbers >= 1000 in table of contents.
[ratio.syn] Fix formatting of codeblock with digit separators.