Re: [math-fun] Trachtenberg arithmetic