provides a p-adic expansion of specified rational and prime