Comparing two p-adic numbers