Addition of two p-adic numbers