[math-fun] partitions into powers of 2