Re: [math-fun] Arndt bit reverse