-
+ \begin{align}
+ Q &= \frac{N}{D}
+ \end{align}
+ \begin{itemize}
+ \item $N$ and $D$ are arbitrary precision integers
+ \end{itemize}
+ \begin{align}
+ N &= \sum_{i=0}^{S} d_i \beta^{i}
+ \end{align}
+ \begin{itemize}
+ \item $d_i$ are fixed size integers, $\beta = 2^{64}$
+ \item Size $S$ grows as needed
+ \item Operations are always exact
+ \item Implemented by GNU Multiple Precision Library
+ \end{itemize}