10-adic numbers