Document cvc5-style numerals

This documents the addition of cvc5-style numerals.

spec/doc.tex

@@ -832,8 +832,7 @@ is always \inlineAlethe{Int}.
 For example, in standard {\smtlib}, the term \inlineAlethe{(+ 5 3)}
 has the sort \inlineAlethe{Int} in the logic \texttt{QF\_LIA}, but
 has the sort \inlineAlethe{Real} in \texttt{QF\_LRA}.
-In Alethe, this term always has the sort \inlineAlethe{Int},
-and would not be well sorted in the logic \texttt{QF\_LRA}.
+In Alethe, this term always has the sort \inlineAlethe{Int}.
 
 \paragraph{Subproofs}
 The abstract notation denotes subproofs by marking them with a vertical