Metric on P-adic Numbers Extends Metric on Rationals