User talk:P-adicNum