[math-fun] Question about base 3/2