Added division

Can now divide by p-adic numbers with valuation 0