[math-fun] N-adic numbers