Re: [math-fun] 2015 -> 11111011111 (binary)