10-adic numbers initial implementation