Quote Notation: representing exact rational arithmetic using p-adic numbers

en.wikipedia.org