Text this: Efficient Embeddings in Exact Arithmetic.