[math-fun] A strange kind of base two representation