Working on getting p-adic extensions to work.