[math-fun] The Seven+ operation