[math-fun] The Walrus Binary Entropy Coder