Text this: P-adic numbers and their functions