[math-fun] The Minsky-Gosper pump