Aspects Of P-Adic Computation